Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - neues Buch
2003, ISBN: 9783540451303
This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy.TPHOLs covers … Mehr…
hive.co.uk No. 9783540451303. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - neues Buch
2003, ISBN: 9783540451303
This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy.TPHOLs covers … Mehr…
hive.co.uk No. 9783540451303. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2003, ISBN: 9783540451303
This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8â??12, 2003 in Rome, Italy. TPHOLs cove… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
2003, ISBN: 9783540451303
This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8–12, 2003 in Rome, Italy. TPHOLs covers… Mehr…
Springer.com Nr. 978-3-540-45130-3. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
2003, ISBN: 9783540451303
Theorem Proving in Higher Order Logics - 16th International Conference TPHOLs 2003 Rom Italy September 8-12 2003 Proceedings: ab 85.49 € eBooks > Fachthemen & Wissenschaft > Philosophie S… Mehr…
eBook.de Versandkosten:in stock, , , DE. (EUR 0.00) Details... |
Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - neues Buch
2003, ISBN: 9783540451303
This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy.TPHOLs covers … Mehr…
Fumio Hiai:
Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - neues Buch2003, ISBN: 9783540451303
This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8-12, 2003 in Rome, Italy.TPHOLs covers … Mehr…
2003
ISBN: 9783540451303
This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8â??12, 2003 in Rome, Italy. TPHOLs cove… Mehr…
2003, ISBN: 9783540451303
This volume constitutes the proceedings of the16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003) held September 8–12, 2003 in Rome, Italy. TPHOLs covers… Mehr…
2003, ISBN: 9783540451303
Theorem Proving in Higher Order Logics - 16th International Conference TPHOLs 2003 Rom Italy September 8-12 2003 Proceedings: ab 85.49 € eBooks > Fachthemen & Wissenschaft > Philosophie S… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Theorem Proving in Higher Order Logics
EAN (ISBN-13): 9783540451303
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2016-12-27T13:48:48+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-03-23T09:47:46+01:00 (Zurich)
ISBN/EAN: 9783540451303
ISBN - alternative Schreibweisen:
978-3-540-45130-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: wolff, burkhart, springer
Titel des Buches: theorem proving, rom
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781721106981 Theorem Proving In Higher Order Logics (National Aeronaut Administration (NASA))
- 9781721106981 Theorem Proving In Higher Order Logics (National Aeronaut Administration (NASA))
- 9788879995467 TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003) (Basin David)
- 9783540664635 Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Yves Bertot; Gilles Dowek; Andre Hirschowitz; Christine Paulin; Laurent Thery)
- 9783540230175 Theorem Proving in Higher Order Logics (Konrad Slind; Annette Bunker; Ganesh C. Gopalakrishnan)
- Proceedings of the 14th International Computer Music Conference Cologne, September 20-25, 1988 (Boja?czyk (auth.), Miko?aj, Grädel, Erich, Kahle (eds.), Reinhard)
< zum Archiv...