Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 3452)
Book title Buchtitel
Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 3452)
Editor Herausgeber_in
Publisher Herausgeber
Springer
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Baaz, Matthias ; Leitsch, Alexander ; Baader, Franz ; Voronkov, Andrei | CERES in many-valued logics | Konferenzbeitrag Inproceedings | 2005 |