Inhaltsangabe
Proceedings of the second International Workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Logical Environments
Beispielbild für diese ISBN
Logical Environments
Verlag:
Cambridge University Press, 1993
ISBN 10: 0521433126
ISBN 13: 9780521433129
Gebraucht
Hardcover
Signiert
Anbieter: Powell's Bookstores Chicago, ABAA, Chicago, IL, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: Used-Very Good. Library binding. No dj. Light shelf-wear. Bestandsnummer des Verkäufers 1728842
Gebraucht kaufen
EUR 13,29
EUR 4,54 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logical Environments.
Verlag:
Cambridge University Press, 1993
ISBN 10: 0521433126
ISBN 13: 9780521433129
Gebraucht
Hardcover
Anbieter: G. & J. CHESTERS, TAMWORTH, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Near Fine. pp.xiii, 338 pages, a near fine hardback, publisher's original blue (teal) cloth binding with gilt lettering to the spine, minimal evidence that it is from a uk university [0521433126]. Bestandsnummer des Verkäufers 106503
Gebraucht kaufen
EUR 13,11
EUR 8,03 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logical Environments
Verlag:
Cambridge University Press, Cambridge, United Kingdom, 1993
ISBN 10: 0521433126
ISBN 13: 9780521433129
Gebraucht
Hardcover
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: Very Good. Zustand des Schutzumschlags: Very Good. Bestandsnummer des Verkäufers 052588
Gebraucht kaufen
EUR 43,24
EUR 14,33 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar