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

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

book Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

Computer Science Logic: 5th Workshop, CSL '91 Berne, Switzerland, October 7–11, 1991 Proceedings

djvu

Author: Yaniv Bargury Johann Makowsky (auth.) Egon Börger Gerhard Jäger Hans Kleine Büning Michael M. Richter (eds.)
Language: English
Year: 1992

00

26.01.2024

0

0

book Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings

pdf

Author: Paul-André Melliès (auth.) Zoltán Ésik (eds.)
Language: English
Year: 2006

00

26.01.2024

0

0

book Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22–25, 1997 Proceedings

djvu

Author: F. Erich Marschner (auth.) Orna Grumberg (eds.)
Language: English
Year: 1997

00

26.01.2024

1

0

book Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings

djvu

Author: Randal E. Bryant (auth.) Pierre Wolper (eds.)
Language: English
Year: 1995

00

26.01.2024

0

0

book Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

pdf

Author: Cristiano Calcagno Dino Distefano (auth.) Michael Hanus (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book NEWCAT: Parsing Natural Language Using Left-Associative Grammar

NEWCAT: Parsing Natural Language Using Left-Associative Grammar

djvu

Author: Roland Hausser (auth.)
Language: English
Year: 1986

00

26.01.2024

0

0

book Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings

pdf

Author: Maarten Marx (auth.) Luke Ong (eds.)
Language: English
Year: 2005

00

26.01.2024

1

0

book Formal Concept Analysis: Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings

Formal Concept Analysis: Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings

pdf

Author: Mohammed J. Zaki Nagender Parimi Nilanjana De Feng Gao (auth.) Bernhard Ganter Robert Godin (eds.)
Language: English
Year: 2005

00

26.01.2024

3

0

book Algorithmic Learning Theory: 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings

Algorithmic Learning Theory: 9th International Conference, ALT’98 Otzenhausen, Germany, October 8–10, 1998 Proceedings

pdf

Author: Michael M. Richter Carl H. Smith Rolf Wiehagen Thomas Zeugmann (auth.) Michael M. Richter Carl H. Smith Rolf Wiehagen Thomas Zeugmann (eds.)
Language: English
Year: 1998

00

26.01.2024

3

0

book Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings

pdf

Author: María Alpuente Santiago Escobar José Iborra (auth.) Andrei Voronkov (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0