Logic for programming, artificial intelligence, and reasoning

Materias

• Logic programming
• Congresses
• Artificial intelligence
• Automatic theorem proving

Ediciones (2)

• Logic for Programming, Artificial Intelligence, and Reasoning (2015)

  Springer London, Limited · inglés · ISBN 9783662488997

• Logic for Programming, Artificial Intelligence, and Reasoning (2006)

  Springer · inglés · ISBN 9783540482819

Más obras de Andrei Voronkov