Logic programming and non-monotonic reasoning

Ediciones (2)

• Logic Programming and Non-Monotonic Reasoning (1991)

  The MIT Press · inglés · ISBN 9780262640275

• Logic programming and non-monotonic reasoning (1991)

  MIT Press · inglés

Más obras de Anil Nerode

Logic programming and non-monotonic reasoning

Logical foundations of computer science

Logical foundations of computer science--Tver '92

Automata theory and its applications

Logical methods

Logical methods

Ver todas las obras de Anil Nerode →