Тема, жанр, tags: Artificial Intelligence (incl. Robotics) » Page 1387 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics) » Page 1387

book Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings

pdf

Author: José Meseguer (auth.) Leo Bachmair (eds.)
Language: English
Year: 2000

00

26.01.2024

1

0

book Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

pdf

Author: Mike Gordon (auth.) Otmane Ait Mohamed César Muñoz Sofiène Tahar (eds.)
Language: English
Year: 2008

00

26.01.2024

1

0

book Foundations of Inductive Logic Programming

Foundations of Inductive Logic Programming

djvu

Author: Shan-Hwei Nienhuys-Cheng Roland de Wolf (auth.)
Language: English
Year: 1997

00

26.01.2024

0

0

book Algorithmic Learning Theory: 11th International Conference, ALT 2000 Sydney, Australia, December 11–13, 2000 Proceedings

Algorithmic Learning Theory: 11th International Conference, ALT 2000 Sydney, Australia, December 11–13, 2000 Proceedings

pdf

Author: William W. Cohen (auth.) Hiroki Arimura Sanjay Jain Arun Sharma (eds.)
Language: English
Year: 2000

00

26.01.2024

0

0

book Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings

Formal Methods in Computer-Aided Design: 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004. Proceedings

djvu

Author: Wayne Wolf (auth.) Alan J. Hu Andrew K. Martin (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

pdf

Author: George C. Necula Sumit Gulwani (auth.) Kousha Etessami Sriram K. Rajamani (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’98 Oisterwijk, The Netherlands, May 5–8, 1998 Proceedings

pdf

Author: N. G. de Bruijn (auth.) Harrie de Swart (eds.)
Language: English
Year: 1998

00

26.01.2024

0

0

book Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings

pdf

Author: Amir Pnueli (auth.) E. Allen Emerson Aravinda Prasad Sistla (eds.)
Language: English
Year: 2000

00

26.01.2024

1

0

book Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings

Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings

djvu

Author: Peter B. Andrews Matthew Bishop (auth.) P. Miglioli U. Moscato D. Mundici M. Ornaghi (eds.)
Language: English
Year: 1996

00

26.01.2024

1

0

book CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

djvu

Author: Klaus Ambos-Spies Dongping Yang (auth.) Egon Börger Hans Kleine Büning Michael M. Richter (eds.)
Language: English
Year: 1990

00

26.01.2024

0

0