Logic for Programming, Artificial Intelligence, and Reasoning
Springer Berlin Heidelberg
Title |
Logic for Programming, Artificial Intelligence, and Reasoning
|
---|---|
Published by |
Lecture notes in computer science, January 2012
|
DOI | 10.1007/978-3-642-28717-6 |
ISBNs |
978-3-64-228716-9, 978-3-64-228717-6
|
Authors |
Nikolaj Bjørner, Andrei Voronkov, Libkin, Leonid, Vrgoč, Domagoj |
Editors |
Bjørner, Nikolaj, Voronkov, Andrei, Bjørner, Nikolaj, Voronkov, Andrei |
Country | Count | As % |
---|---|---|
Argentina | 1 | 3% |
Unknown | 38 | 97% |
Readers by professional status | Count | As % |
---|---|---|
Student > Master | 2 | 5% |
Student > Bachelor | 1 | 3% |
Other | 1 | 3% |
Professor > Associate Professor | 1 | 3% |
Unspecified | 1 | 3% |
Other | 0 | 0% |
Unknown | 33 | 85% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 3 | 8% |
Unspecified | 2 | 5% |
Engineering | 1 | 3% |
Unknown | 33 | 85% |