Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Title:
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings
Author:
Cervesato, Iliano. editor.
ISBN:
9783540894391
Edition:
1st ed. 2008.
Physical Description:
XIV, 714 p. online resource.
Series:
Lecture Notes in Artificial Intelligence, 5330
Subject Term:
Artificial intelligence.

Software engineering.

Computer programming.

Computer science.

Machine theory.

Programming Techniques.

Computer Science Logic and Foundations of Programming.

Formal Languages and Automata Theory.
Added Author:
Cervesato, Iliano.

Veith, Helmut.

Voronkov, Andrei.
Added Corporate Author:
SpringerLink (Online service)
Electronic Access:
https://doi.org/10.1007/978-3-540-89439-1

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Searching...
 E-Book 171585-1001 Q334 -342
Searching...

On Order