Anmelden
Tipp von eurobuch.com
Suchtools
Aktuelles
Detailseite wird geladen...
BEISPIEL
2008, ISBN: 9783540843139
Softcover, Buch, [PU: Springer]
lehmanns.de Versandkosten:Versand in 5 - 7 Tagen, versandkostenfrei in der BRD (EUR 0.00) Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Ergebnisse werden sortiert...
1
2008, ISBN: 9783540843139
Softcover, Buch, [PU: Springer]
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.
Bibliographische Daten des bestpassenden Buches
Details zum Buch
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Theorem Proving in Higher Order Logics
EAN (ISBN-13): 9783540843139
Taschenbuch
Erscheinungsjahr: 2008
Buch in der Datenbank seit 2011-10-25T19:15:11+02:00 (Berlin)
Detailseite zuletzt geändert am 2011-10-25T19:15:11+02:00 (Berlin)
ISBN/EAN: 9783540843139
ISBN - alternative Schreibweisen:
978-3-540-84313-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: klaus schneider
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...