Serie
lecture notes in computer science
(96)theoretical computer science and general issues
(29)lecture notes in artificial intelligence
(24)trends in logic
(14)applied logic series
(10)synthese library
(10)lecture notes in mathematics
(7)logic, epistemology, and the unity of science
(5)logic in asia: studia logica library
(4)progress in computer science and applied logic
(4)textbooks in mathematics
(4)nato asi subseries f:
(3)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
lindström, sten
(6)kahle, reinhard
(5)voronkov, andrei
(5)dov m. gabbay
(4)holmström-hintikka, ghita
(4)schwichtenberg, helmut
(4)sliwinski, r.
(4)claudio pizzi
(3)dybjer, peter
(3)leitsch, alexander
(3)löwe, benedikt
(3)mundici, daniele
(3)walter carnielli
(3)ahmet cevik
(2)andrzej indrzejczak
(2)bakker, jacobus w. de
(2)berardi, stefano
(2)berger, ulrich
(2)buchberger, bruno
(2)cantini, andrea
(2)casari, ettore
(2)charles parsons
(2)cooper, s. b.
(2)coppo, mario
(2)david j. pym
(2)david reed
(2)doets, kees
(2)dyckhoff, roy
(2)evangelos kranakis
(2)ewa orlowska
(2)f. paoli
(2)fitting, melvin
(2)george metcalfe
(2)gottlob, georg
(2)greg restall
(2)hendricks, vincent f.
(2)hirsch, edward a.
(2)hou, zhe
(2)igor lavrov
(2)jaroslav peregrin
(2)joanna golinska pilarek
(2)john macfarlane
(2)jose l. zalabardo
(2)k. dosen
(2)katalin bimbó
(2)kleine-büning, hans
(2)larisa maksimova
(2)lenski, wolfgang
(2)luca viganò
(2)minari, pierluigi
(2)müller, gert h.
(2)n. olivetti
(2)neil r. nicholson
(2)nicola olivetti
(2)nordström, bengt
(2)orlowska, ewa
(2)palmgren, erik
(2)pedersen, stig andur
(2)peter clote
(2)rathjen, michael
(2)rautenberg, wolfgang
(2)rijke, maarten de
(2)roever, willem-paul de
(2)rozenberg, grzegorz
(2)sadri, fariba
(2)schroeder-heister, peter
(2)schuster, peter m.
(2)seisenberger, monika
(2)smith, jan
(2)sorbi, andrea
(2)steven g. krantz
(2)strahm, thomas
(2)studer, thomas
(2)ulrich kohlenbach
(2)veith, helmut
(2)w. snyder
(2)walter felscher
(2)wansing, heinrich
(2)weiermann, andreas
(2)wolfram pohlers
(2)yu. i. manin
(2)z. stachniak
(2)adrian rezus
(1)ait ameur, yamine
(1)alexandre rademaker
(1)altenkirch, thorsten
(1)andrews, derek j.
(1)anne s. troelstra
(1)antonetta j.m. van gasteren
(1)arai, toshiyasu
(1)armando, alessandro
(1)asher, nicholas
(1)asperti, andrea
(1)atten, mark van
(1)ayala-rincón, mauricio
(1)baader, franz
(1)baaz, matthias
(1)bacchus, fahiem
(1)banerjee, mohua
(1)basin, david
(1)Verlag / Hersteller
av akademikerverlag
(2)birkhäuser boston
(5)crc press
(15)lap lambert academic publishing
(4)physica-verlag hd
(3)springer berlin heidelberg
(100)springer international publishing
(18)springer london
(3)springer nature switzerland
(2)springer netherlands
(38)springer new york
(5)springer singapore
(3)springer us
(4)springer, berlin springer international publishing springer
(6)springer, berlin springer nature singapore springer
(3)springer, berlin springer nature switzerland ijcar community springer
(2)springer, berlin springer nature switzerland springer
(3)taylor & francis
(12)Verlag
av akademikerverlag
(2)birkhäuser boston
(5)crc press
(15)ijcar community
(2)lap lambert academic publishing
(4)physica-verlag hd
(3)springer
(15)springer berlin heidelberg
(100)springer international publishing
(24)springer london
(3)springer nature singapore
(3)springer nature switzerland
(8)springer netherlands
(38)springer new york
(5)springer singapore
(3)springer us
(4)springer, berlin
(15)taylor & francis
(12)Genre
mathematik
(131)medizin
(131)naturwissenschaften
(131)technik
(131)geisteswissenschaften
(6)kunst
(6)musik
(6)Schlagwort
proof theory
(233)prooftheory
(143)logic
(135)informatik
(121)edv
(114)mathematical logic and foundations
(97)mathematik
(66)philosophie
(64)logik
(63)proof
(58)mathematical logic and formal languages
(56)allgemeines
(52)artificial intelligence
(51)mathematical logic
(43)theory of computation
(40)künstliche intelligenz
(37)logics and meanings of programs
(37)mathematische grundlagen
(37)grundlagen
(36)theorie
(35)lexika
(34)semantics
(34)intelligenz
(33)ki
(33)künstliche intelligenz - ai
(33)mathematics
(33)mathematik: logik
(33)algorithms
(32)complexity
(32)modal logic
(30)programming
(30)verification
(28)set theory
(27)software engineering
(27)programming languages, compilers, interpreters
(26)mathematicallogic
(25)model theory
(25)proving
(25)theoretische informatik
(25)type theory
(22)modallogic
(21)philosophy
(21)programmiersprachen
(20)automated deduction
(18)formal verification
(18)typetheory
(18)automated reasoning
(17)calculus
(17)modeltheory
(17)sequent calculus
(17)theorem proving
(17)artificialintelligence
(16)formal methods
(16)lambda calculus
(16)software engineering/programming and operating systems
(16)automateddeduction
(15)computability theory
(15)computer science
(14)computer system implementation
(14)formalmethods
(14)informatik, computer
(14)model checking
(14)settheory
(14)algebra
(13)computer
(13)formalverification
(13)knowledge
(13)software-entw.
(13)automat
(12)automata
(12)vice versa
(12)complexity theory
(11)predicate logic
(11)programming techniques
(11)theoremproving
(11)automatedreasoning
(10)coq
(10)linguistics
(10)mathematische logik
(10)modelchecking
(10)philosophical logic
(10)resolution
(10)theorem
(10)algorithm
(9)complexitytheory
(9)computers
(9)general
(9)intelligence
(9)isabelle
(9)lambdacalculus
(9)logic and verification
(9)natural deduction
(9)nonmonotonic reasoning
(9)ordinal analysis
(9)programming theory
(9)arithmetic
(8)compiler
(8)computabilitytheory
(8)computerscience
(8)formallanguages
(8)Erscheinungsjahr
1968
(1)1969
(1)1970
(1)1971
(1)1976
(1)1984
(2)1985
(2)1987
(1)1988
(1)1989
(1)1990
(2)1991
(1)1992
(3)1993
(3)1994
(4)1995
(5)1996
(6)1997
(4)1998
(3)1999
(7)2000
(6)2001
(9)2002
(11)2003
(8)2004
(5)2005
(10)2006
(3)2007
(5)2008
(10)2009
(5)2010
(23)2011
(6)2012
(12)2013
(7)2014
(9)2015
(3)2016
(4)2017
(6)2018
(2)2019
(5)2020
(8)2021
(12)2022
(2)2023
(4)2024
(8)Ergebnis: 233 Artikel
Schlagwort: proof theory
