Proof and computation : [proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993] / ed. by Helmut Schwichtenberg. Publ. in cooperation with NATO Scientific Affairs Division

NATO Advanced Study Institute on Proof and Computation ; (Marktoberdorf) : 1993.07.20-08.01

Englisch

Berlin ; Heidelberg [u.a.] : Springer, 1995

470 S. : graph. Darst.

Konferenzschrift (1993, Marktoberdorf)

Literaturangaben

Archivierung/Langzeitarchivierung gewährleistet (Rechtsgrundlage Pflichtexemplar Baden-Württemberg). BLB Karlsruhe

DM 155.00

3-540-58581-8

9783540585817

*Beweistheorie

*Berechnungstheorie

*Beweistheorie

*Berechnungstheorie

*Logic, symbolic and mathematical -- Congresses ; Proof theory -- Data processing -- Congresses ; Logic programming -- Congresses ; Logic, Symbolic and mathematical -- Congresses

Klassifikation der Library of Congress: QA76.63

Dewey Dezimal-Klassifikation: 004/.01/5113

Regensburger Verbund-Klassifikation: SK 130: Logik und Grundlagen, Metamathematik,

Regensburger Verbund-Klassifikation: SS 1993: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / Veranstaltungsjahr 1993

Regensburger Verbund-Klassifikation: SD 1993: SA-SP Mathematik / SD Kongressberichte / Veranstaltungsjahr 1993

Mathematics Subject Classification: *68-06

Mathematics Subject Classification: 00B15

http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=006747616&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA [Inhaltsverzeichnis]

https://zbmath.org/?q=an:0816.68017 [Zentralblatt MATH]

kaz

Potsdamer Straße

BIBTEX - ENDNOTE - RIS