QR-Code

Computation and proof theory. Part 2 : proceedings of the logic colloquium ; Aachen, July 18 - 23, 1983 /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ambos-Spies, Klaus (VerfasserIn)
Körperschaft:	Proceedings of the logic colloquium
Format:	Tagungsbericht Buch
Sprache:	Englisch
Veröffentlicht:	Berlin : Springer, 1984
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Models and sets. Part 1 : proceedings of the logic colloquium ; Aachen, July 18 - 23, 1983 /
von: Baeten, Jos
Veröffentlicht: (1984)

Logic and machines: Decision problems and complexity : proceedings of the symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Inst. für mathematische Logik und Grundlagenforschung der Univ. Münster/Westfalen /
von: Ambos-Spies, Klaus
Veröffentlicht: (1984)

The Story of Proof : Logic and the History of Mathematics /
von: Stillwell, John
Veröffentlicht: (2022)

Virus proof /
von: Schmauder, Phil
Veröffentlicht: (2000)

Algebra of proofs /
von: Szabo, M. E.
Veröffentlicht: (1978)

Contract Proofing Papers.
Veröffentlicht: (2009)

Proofs from The Book /
von: Aigner, Martin 1942-, et al.
Veröffentlicht: (2004)

Sets, Models and Proofs
von: Moerdijk, Ieke
Veröffentlicht: (2018)

Proofs from THE BOOK
von: Aigner, Martin
Veröffentlicht: (2018)

The International Journal of Evidence & Proof

The International journal of evidence and proof

Methodology of Judicial Proof and Presumption
von: He, Jiahong
Veröffentlicht: (2018)

COMPOSITIONALITY, CONCURRENCY AND PARTIAL CORRECTNESS. PROOF THEORIES FOR NETWORKS OF PROCESSES, AND THEIR CONNECTIONS /
von: Zwiers, Jakob
Veröffentlicht: (1988)

Conjecture and proof. An introduction to mathematical thinking /
von: Schwartz, Diane Driscoll
Veröffentlicht: (1997)

Algebraic K-theory. Part 2 : Proceedings of the conf., Oberwolfach, June 1980 /
von: Bak, Anthony
Veröffentlicht: (1982)

Mathematical proofs. A transition to advanced mathematics /
von: Chartrand, Gary
Veröffentlicht: (2003)

Logic colloquium '85 : Proceedings of the colloquium, Orsay, France, July 1985 /
von: Burdman Feferman, Anita
Veröffentlicht: (1987)

Advances in Mathematics Education Research on Proof and Proving An International Perspective /
Veröffentlicht: (2018)

Intuitionistic Proof Versus Classical Truth The Role of Brouwer's Creative Subject in Intuitionistic Mathematics /
von: Martino, Enrico
Veröffentlicht: (2018)

Future‐proofing adult learning in London, United Kingdom /
Veröffentlicht: (2021)

Foundations of computation theory : Proceedings of the 1983 internat. FCT-conf., Borgholm, Sweden, August 21 - 27, 1983 /
von: Abramsky, Samson
Veröffentlicht: (1983)

Non-classical logics, model theory, and computability : proceedings of the 3rd Latin-American symposium on mathematical logic ; Campinas, Brazil, July 11-17, 1976 /
Veröffentlicht: (1977)

Non-clasical logics, model theory and computability.
Veröffentlicht: (1977)

Encyclopedia of chemical technology. Vol. 14. Thermodynamics to water-proofing /
von: Kirk, Raymond Eller
Veröffentlicht: (1955)

Digitálne rýchle nátlačkové zariadenie farieb Pietro Proof II.
Veröffentlicht: (2005)

Principles of dynamic programming. Part 2. Advanced theory and applications /
von: Larson, Robert Edward
Veröffentlicht: (1982)

Computer science and multiple-valued logic theory and applications /
Veröffentlicht: (1977)

Algebraic K-theory. Part 1 : Proceedings of a conf., Oberwolfach, June 1980 /
von: Browkin, Jerzy
Veröffentlicht: (1982)

Quinolines. Part 2 /
von: Claret, Paul A.
Veröffentlicht: (1982)

Quantum theory of solid state. Part A /
von: Callaway, Joseph
Veröffentlicht: (1974)

Introduction to computer theory /
von: Cohen, Daniel I. A.
Veröffentlicht: (1986)

Group Theory and Computation
Veröffentlicht: (2018)

Graph theory and computing /
Veröffentlicht: (1972)

Mathematical theory of computation /
von: Manna, Zohar
Veröffentlicht: (1974)

Soft Computing: Theories and Applications Proceedings of SoCTA 2016, Volume 2 /
Veröffentlicht: (2018)

Logic colloquium ́77 : proceedings of the colloquium held in Wroclaw, August 1977 /
von: Doner, John E.
Veröffentlicht: (1978)

The theory of computability : Programs, machines, effectiveness and feasibility /
von: Sommerhalder, Rudolph
Veröffentlicht: (1988)

NUMBER THEORY NOORDWIJKERHOUT 1983 : Proceedings of the Journées arithmétiques, Noordwijkerhout, Netherlands, July 11 - 15, 1983 /
von: Beck, J.
Veröffentlicht: (1984)

TELECOMMUNICATION SWITCHING. PART 2 /
von: Gotoh, K.
Veröffentlicht: (1984)

COLLECTED PAPERS. PART 2 /
von: Orlicz, Wladyslaw
Veröffentlicht: (1988)