Computational Logic and Proof Theory

53,49 €*

Auf Wunsch am nächsten Werktag in der Buchhandlung abholbereit Dieser Artikel ist momentan nicht vor Ort verfügbar, kann aber bestellt werden.
Wählen Sie einfach als Versandart "Abholung" aus. Im Falle einer Bestellung bis 16:00 ist der Artikel ab dem nächsten Werktag für Sie abholbereit.
Bei Versand Lieferzeit 3-5 Tage Dieser Artikel ist für eine Bestellung per Versand verfügbar, die Lieferzeit beträgt 3-5 Tage .

ISBN/EAN: 9783540633853
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.
EAN: 9783540633853
Sprache: Englisch
Seitenzahl: 364
Produktart: Kartoniert / Broschiert
Herausgeber: Gottlob, Georg Leitsch, Alexander Mundici, Daniele
Veröffentlichungsdatum: 13.08.1997
Untertitel: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
Schlagworte: Begründung / Beweis Beweis EDV / Theorie / Informatik / Allgemeines Logik Philosophie / Logik

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.


shop display image

Möchten Sie lieber vor Ort einkaufen?

Haben Sie weiterführende Fragen zu diesem Buch oder anderen Produkten? Oder möchten Sie einfach doch lieber in der Buchhandlung stöbern? Wir sind gern persönlich für Sie da und beraten Sie auch telefonisch.

Buchhandlung Nettesheim GmbH
Hauptstraße 17
42349 Wuppertal
Telefon: 0202/472870

Mo – Fr09:30 – 18:00 UhrSa09:00 – 13:00 Uhr