Verwandte Artikel zu Logical Frameworks
Inhaltsangabe
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Logical Frameworks
Beispielbild für diese ISBN
Logical Frameworks
Anbieter: BennettBooksLtd, Los Angeles, CA, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title! Artikel-Nr. Q-0521413001
Neu kaufen
EUR 115,08
EUR 6,19 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logical Frameworks
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Artikel-Nr. I-9780521413008
Neu kaufen
EUR 124,83
EUR 2,67 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logical Frameworks
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Editor(s): Huet, Gerard; Plotkin, G. Num Pages: 416 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738. . 1991. hardcover. . . . . Artikel-Nr. V9780521413008
Neu kaufen
EUR 131,94
EUR 9,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logical Frameworks
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Artikel-Nr. 849820-n
Neu kaufen
EUR 133,82
EUR 17,97 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logical Frameworks
Verlag:
Cambridge University Press, 1991
ISBN 10: 0521413001
ISBN 13: 9780521413008
Gebraucht
Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Artikel-Nr. 849820
Gebraucht kaufen
EUR 145,56
EUR 17,97 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logical Frameworks
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. Editor(s): Huet, Gerard; Plotkin, G. Num Pages: 416 pages, black & white illustrations. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738. . 1991. hardcover. . . . . Books ship from the US and Ireland. Artikel-Nr. V9780521413008
Neu kaufen
EUR 171,13
EUR 9,36 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logical Frameworks
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering. Artikel-Nr. 9780521413008
Neu kaufen
EUR 167,17
EUR 35,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar