Ergebnisse filtern
-
- 32
- 31
-
- 1
- 1
- 1
- 37
- 17
- 6
-
- 1
- 54
- 8
-
- 63
-
- 58
- 5
-
- 63
-
Voronkov / Dershowitz Logic for Programming, Artificial Intelligence, and Reasoning
14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-75558-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Voronkov / Baaz Logic for Programming, Artificial Intelligence, and Reasoning
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00010-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Nieuwenhuis / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings2001Verlag: SpringerISBN: 978-3-540-45653-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Voronkov / Nieuwenhuis Logic for Programming, Artificial Intelligence, and Reasoning
8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-42957-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sutcliffe / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-31650-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Voronkov / Baader Logic for Programming, Artificial Intelligence, and Reasoning
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-25236-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bjørner / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-28716-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Parigot / Voronkov Logic for Programming and Automated Reasoning
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings2000Verlag: SpringerISBN: 978-3-540-44404-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Voronkov / Sutcliffe Logic for Programming, Artificial Intelligence, and Reasoning
12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-30553-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Voronkov / Vardi Logic for Programming, Artificial Intelligence, and Reasoning
10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20101-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Voronkov / Hermann Logic for Programming, Artificial Intelligence, and Reasoning
13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-48281-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baaz / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings2002Verlag: SpringerISBN: 978-3-540-36078-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Vardi / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings2003Verlag: SpringerISBN: 978-3-540-39813-4Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Weidenbach / Voronkov Programming Logics
Essays in Memory of Harald Ganzinger2013Verlag: SpringerISBN: 978-3-642-37650-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baader / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings2005Verlag: SpringerISBN: 978-3-540-32275-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Bjørner / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-28717-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Hermann / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings2006Verlag: SpringerISBN: 978-3-540-48282-6Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Voronkov / Parigot Logic for Programming and Automated Reasoning
7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41285-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Voronkov / Weidenbach Programming Logics
Essays in Memory of Harald Ganzinger2013Verlag: SpringerISBN: 978-3-642-37651-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Robinson / Voronkov Handbook of Automated Reasoning, Volume 2
Erscheinungsjahr 2001Verlag: MIT PRISBN: 978-0-262-18222-5Medium: Buch11,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Robinson / Voronkov Handbook of Automated Reasoning
Erscheinungsjahr 2001Verlag: Elsevier Science & TechnologyISBN: 978-0-444-50812-6Medium: BuchLieferzeit ca. 10 Werktage -
Fermüller / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-16242-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar
-
Voronkov / Clarke Logic for Programming, Artificial Intelligence, and Reasoning
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers2011Verlag: SpringerISBN: 978-3-642-17510-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fermüller / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-16241-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Clarke / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers2011Verlag: SpringerISBN: 978-3-642-17511-4Medium: 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
