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: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9780521413008_new
Neu kaufen
EUR 113,33
EUR 13,81 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 167,35
EUR 9,15 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 153,73
EUR 64,12 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar