Gesamtpreis (1 Artikel Artikel):
Versandziel:
proof theory computer science (52 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (52)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (39)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (8)
- Gut oder Befriedigend (4)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (1)
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (9)
- Keine Print-on-Demand Angebote (48)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Basic Proof Theory 2ed (Cambridge Tracts in Theoretical Computer Science, 43)
Verlag: Cambridge University Press, 2008
ISBN 10: 0521779111 ISBN 13: 9780521779111
Sprache: Deutsch
Anbieter: book-link, Nufringen, BW, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 29,90
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Sehr gut. 432 Seiten; *** Second Edition, 2000! Top Zustand! M25-07-O-07-VG Sprache: Deutsch Gewicht in Gramm: 1.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 66,66
Gebraucht ab EUR 29,90
Mehr entdecken Softcover
-
A Proof Theory for General Unification. Boston, 1991. gr.8°. 5 figs. VI, 175 p. Hardbound. Progress in Computer Science and Applied Logic, 11.- Incl. bibliography.- In very good condition.
Anbieter: Antiquariat Renner OHG, Albstadt, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
EUR 12,00
Währung umrechnenEUR 3,20 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den Warenkorb -
Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Series Number 4)
Verlag: Cambridge University Press, 2004
ISBN 10: 052160754X ISBN 13: 9780521607544
Sprache: Englisch
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 48,69
Währung umrechnenEUR 5,76 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Proof Theory in Computer Science
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2001, 2001
ISBN 10: 354042752X ISBN 13: 9783540427520
Sprache: Englisch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Neuware -Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed to us most natural to bring researchers together to assess both the role proof theory already plays in computer science and the role it might play in the future. The form of a Dagstuhl seminar is most suitable for purposes like this, as Schloß Dagstuhl provides a very convenient and stimulating environment to - scuss new ideas and developments. To accompany the conference with a proc- dings volume appeared to us equally appropriate. Such a volume not only xes basic results of the subject and makes them available to a broader audience, but also signals to the scienti c community that Proof Theory in Computer Science (PTCS) is a major research branch within the wider eld of logic in computer science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 48,37
Gebraucht ab EUR 78,22
Mehr entdecken Softcover
-
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,51
Währung umrechnenEUR 5,76 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
A Proof Theory for General Unification (Progress in Computer Science and Applied Logic)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,51
Währung umrechnenEUR 5,76 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 66,27
Gebraucht ab EUR 127,74
Mehr entdecken Softcover
-
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, 713)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,51
Währung umrechnenEUR 5,76 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 66,27
Gebraucht ab EUR 87,16
Mehr entdecken Softcover
-
A Proof Theory for General Unification (Progress in Computer Science & Applied Logic Ser.)
Anbieter: Pride and Prejudice-Books, Ballston Lake, NY, USA
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 30,86
Währung umrechnenEUR 37,66 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Near Fine. Zustand des Schutzumschlags: No Dust Jacket. First Edition. Near Fine. No Dust Jacket.
-
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)
Verlag: Cambridge University Press, 1996
ISBN 10: 0521572231 ISBN 13: 9780521572231
Sprache: Englisch
Anbieter: Friends of Pima County Public Library, Tucson, AZ, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 52,00
Währung umrechnenEUR 35,05 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den Warenkorbhardcover. Zustand: Good. Hardcover. NOT Ex-library. Good condition. No dust jacket. Until further notice, USPS Priority Mail only reliable option for Hawaii. Proceeds benefit the Pima County Public Library system, which serves Tucson and southern Arizona.
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic)
Verlag: Springer (India) Private Limited, 2016
ISBN 10: 3319291963 ISBN 13: 9783319291963
Sprache: Englisch
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 102,05
Währung umrechnenEUR 2,30 für den Versand innerhalb von/der DeutschlandAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 425.
Mehr Angebote von anderen Verkäufern bei AbeBooks
Neu ab EUR 104,35
Gebraucht ab EUR 174,19
Mehr entdecken Hardcover
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic, 28)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 112,09
Währung umrechnenEUR 5,76 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Proof Theory: An Introduction (Lecture Notes in Computer Science)
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10: 3540518428 ISBN 13: 9783540518426
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 111,25
Währung umrechnenEUR 11,56 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 220 pages. 9.13x6.22x0.63 inches. In Stock.
-
A Proof Theory for Description Logics (SpringerBriefs in Computer Science)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 98,84
Währung umrechnenEUR 28,90 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
