Ergebnisse filtern
-
- 32
- 31
-
- 1
- 1
- 1
- 37
- 17
- 6
-
- 1
- 54
- 8
-
- 63
-
- 58
- 5
-
- 63
-
Robinson / Voronkov Handbook of Automated Reasoning
Erscheinungsjahr 2001Verlag: Elsevier Science & Techn.ISBN: 978-0-08-053279-0Medium: eBookFormat: EPUB
Kopierschutz: 6 - ePub Watermark385,00 € (inkl. MwSt.)
Kurzfristig nicht lieferbar
-
Cervesato / Veith / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-89439-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Diekert / Voronkov / Volkov Computer Science - Theory and Applications
Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-74509-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ganzinger / McAllester / Voronkov Logic Programming and Automated Reasoning
6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings1999Verlag: SpringerISBN: 978-3-540-48242-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Cervesato / Veith / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings2008Verlag: SpringerISBN: 978-3-540-89438-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ganzinger / Voronkov / McAllester Logic Programming and Automated Reasoning
6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-66492-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
McMillan / Voronkov / Middeldorp Logic for Programming, Artificial Intelligence, and Reasoning
19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-45220-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Diekert / Volkov / Voronkov Computer Science - Theory and Applications
Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings2007Verlag: SpringerISBN: 978-3-540-74510-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
McMillan / Middeldorp / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings2013Verlag: SpringerISBN: 978-3-642-45221-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Davis / Voronkov / Fehnker Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48898-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Freitag / Voronkov / Decker Transactions and Change in Logic Databases
International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97)1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65305-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Freitag / Decker / Kifer Transactions and Change in Logic Databases
International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases(DYNAMICS'97), Port Jefferso1998Verlag: SpringerISBN: 978-3-540-49449-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
Kurzfristig nicht lieferbar
-
Davis / Fehnker / McIver Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-662-48899-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
