Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings - Pasta blanda
2005, ISBN: 3540283722
[EAN: 9783540283720], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], BEGRÜNDUNG / BEWEIS; INTELLIGENZ KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE COQ; ISABELLE; FORMALVERI… Más…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) Details... |
2005, ISBN: 9783540283720
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford, UK. TPH… Más…
Indigo.ca new in stock. Gastos de envío:zzgl. Versandkosten., más gastos de envío Details... |
2005, ISBN: 9783540283720
Editor: Hurd, Joe, Editor: Melham, Tom, Springer, Paperback, Auflage: 2005, 424 Seiten, Publiziert: 2005-08-08T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: Illustrations, 0.59 kg, Book… Más…
amazon.co.uk rbmbooks Gut Gastos de envío:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.59) Details... |
2005, ISBN: 9783540283720
Pasta blanda
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume constitutes t… Más…
booklooker.de |
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings - Pasta blanda
2005, ISBN: 9783540283720
Paperback / softback. New. This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-2… Más…
Biblio.co.uk |
Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings - Pasta blanda
2005, ISBN: 3540283722
[EAN: 9783540283720], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], BEGRÜNDUNG / BEWEIS; INTELLIGENZ KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE COQ; ISABELLE; FORMALVERI… Más…
2005, ISBN: 9783540283720
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford, UK. TPH… Más…
2005
ISBN: 9783540283720
Editor: Hurd, Joe, Editor: Melham, Tom, Springer, Paperback, Auflage: 2005, 424 Seiten, Publiziert: 2005-08-08T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: Illustrations, 0.59 kg, Book… Más…
2005, ISBN: 9783540283720
Pasta blanda
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume constitutes t… Más…
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings - Pasta blanda
2005, ISBN: 9783540283720
Paperback / softback. New. This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-2… Más…
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings: 3603 (Lecture Notes in Computer Science, 3603)
EAN (ISBN-13): 9783540283720
ISBN (ISBN-10): 3540283722
Tapa blanda
Año de publicación: 2005
Editorial: Springer
408 Páginas
Peso: 0,637 kg
Idioma: eng/Englisch
Libro en la base de datos desde 2007-05-28T22:49:51-05:00 (Mexico City)
Página de detalles modificada por última vez el 2023-07-03T12:48:01-06:00 (Mexico City)
ISBN/EAN: 3540283722
ISBN - escritura alterna:
3-540-28372-2, 978-3-540-28372-0
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: joe, paul wolfgang, wolfgang held
Título del libro: theoretical computer science, 2005, what logics mean, august, theorem proving, logic computer science
Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
9783030036485 Smart Health by Hsinchun Chen Paperback | Indigo Chapters (Hsinchun Chen; Qing Fang; Daniel Zeng; Jiang Wu)
- 9783030036485 Smart Health by Hsinchun Chen Paperback | Indigo Chapters (Hsinchun Chen; Qing Fang; Daniel Zeng; Jiang Wu)
- 9783540473961 Ada: The Choice for '92 (Dimitris Christodoulakis)
- 9780387540924 ADA: the Choice for '92: Ada-Europe International Conference Athens, Greece, May 13-17, 1991 Proceedings (Lecture Notes in Computer Science 499) (Christodoulakis, Dimitrios (ed.))
- 9783540540922 Ada: The Choice for '92: Ada-Europe International Conference Athens, Greece, May 13-17, 1991 Dimitris Christodoulakis Editor (Dimitris Christodoulakis)
< para archivar...