Тема, жанр, tags: planning inference reasoning logic programming languages robotics history of AI program synthesis kn » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: planning inference reasoning logic programming languages robotics history of AI program synthesis kn

book On Machine Intelligence, Second Edition

On Machine Intelligence, Second Edition

pdf

Author: Donald Michie
Language: English
Year: 1986

00

30.01.2024

0

0

book History of programming languages, vol.4: Functional and logic programming languages

History of programming languages, vol.4: Functional and logic programming languages

djvu

Author: Salus Peter H (ed.)
Language: English
Year: 1998

00

30.01.2024

0

0

book The Semantics and Proof Theory of the Logic of Bunched Implications

The Semantics and Proof Theory of the Logic of Bunched Implications

pdf

Author: David J. Pym
Language: English
Year: 2002

00

27.01.2024

0

0

book Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

pdf

Author: Jimmie D. Lawson (auth.) Klaus Keimel Guo-Qiang Zhang Ying-Ming Liu Yi-Xang Chen (eds.)
Language: English
Year: 2001

00

27.01.2024

0

0