Author books / Книги автора Robert Kowalski » Page 2 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Robert Kowalski » Page 2

book Logic for problem solving

Logic for problem solving

djvu

Author: Robert Kowalski
Language: English
Year: 1979

00

27.01.2024

0

0

book Web Reasoning and Rule Systems: Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings

Web Reasoning and Rule Systems: Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings

pdf

Author: Robert Kowalski Fariba Sadri (auth.) Axel Polleres Terrance Swift (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Computational Logic and Human Thinking: How to be Artificially Intelligent

Computational Logic and Human Thinking: How to be Artificially Intelligent

pdf

Author: Robert Kowalski
Language: English
Year: 2011

00

27.01.2024

0

0

book TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

djvu

Author: Joseph A. Goguen José Meseguer (auth.) Hartmut Ehrig Robert Kowalski Giorgio Levi Ugo Montanari (eds.)
Language: English
Year: 1987

00

27.01.2024

0

0

book 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

djvu

Author: Luigia Aiello Richard W. Weyhrauch (auth.) Wolfgang Bibel Robert Kowalski (eds.)
Language: English
Year: 1980

00

27.01.2024

0

0

book Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings

Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings

djvu

Author: Robert Kowalski (auth.) G. Comyn N. E. Fuchs M. J. Ratcliffe (eds.)
Language: English
Year: 1992

00

27.01.2024

0

0

book Web Reasoning and Rule Systems: Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings

Web Reasoning and Rule Systems: Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings

pdf

Author: Robert Kowalski Fariba Sadri (auth.) Axel Polleres Terrance Swift (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book TAPSOFT '87: Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

TAPSOFT '87: Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987

pdf

Author: Ingo Wegener (auth.) Hartmut Ehrig Robert Kowalski Giorgio Levi Ugo Montanari (eds.)
Language: English
Year: 1987

00

26.01.2024

0

0