Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
wansing, heinrich
(12)ciuni, roberto
(2)gabbay, dov m.
(2)makinson, david
(2)malinowski, jacek
(2)omori, hitoshi
(2)wansing, h.
(2)willkommen, caroline
(2)heinrich wansing
(1)hölldobler, steffen
(1)lutz, carsten
(1)pearce, david
(1)Verlag / Hersteller
springer berlin heidelberg
(2)springer international publishing
(6)springer netherlands
(6)Verlag
springer berlin heidelberg
(2)springer international publishing
(6)springer netherlands
(6)Genre
geisteswissenschaften
(7)kunst
(7)musik
(7)mathematik
(2)medizin
(2)naturwissenschaften
(2)technik
(2)Schlagwort
logic
(11)allgemeines
(10)lexika
(10)philosophie
(10)logik
(8)mathematical logic and foundations
(8)artificial intelligence
(6)modal logic
(4)modallogic
(4)proof
(4)artificialintelligence
(3)edv
(3)intelligence
(3)mathematik
(3)philosophy
(3)programming
(3)proof theory
(3)prooftheory
(3)advances in philosophical logic
(2)advancesinphilosophicallogic
(2)algebra
(2)arithmetic and logic structures
(2)automated deduction
(2)automateddeduction
(2)belnap´s four--valued semantics
(2)belnap¿sfour-¿valuedsemantics
(2)c-justification for empirical statements
(2)calculus
(2)classification
(2)computational linguistics
(2)cut-elimination, substitution and normalization
(2)dunn´s two--valued semantics
(2)dunn¿stwo-¿valuedsemantics
(2)epistemology
(2)expansions of belnap--dunn logic
(2)expansionsofbelnap-¿dunnlogic
(2)explaining deductive inference
(2)formal methods
(2)fusing quantifiers and connectives
(2)general-elimination harmony and higher-level rules
(2)gerhard gentzen
(2)grundlagen
(2)informatik
(2)intelligenz
(2)invariant
(2)ki
(2)knowability paradox
(2)knowabilityparadox
(2)knowledge
(2)knowledge representation
(2)knowledgerepresentation
(2)künstliche intelligenz
(2)künstliche intelligenz - ai
(2)language
(2)linguistics
(2)logic of information structures
(2)logic programming
(2)logical investigations
(2)logical systems
(2)logicforbuddhistphi
(2)logicofinformationstructures
(2)logicprogramming
(2)logics and meanings of programs
(2)mathematical logic
(2)mathematical philosophy
(2)mathematicallogic
(2)mathematics
(2)mathematics, general
(2)mathematische grundlagen
(2)methods of logic
(2)natural deduction
(2)naturaldeduction
(2)non-classical logic
(2)non-classicallogic
(2)nonclassical truth theory
(2)nonclassicalmathematics
(2)nonclassicaltruththeory
(2)paraconsistent logic
(2)paraconsistentlogic
(2)philosophy of language
(2)predicate logic
(2)predicatelogic
(2)proof systems
(2)proofsystems
(2)relevant logic a la american plan
(2)relevant logic a la australian plan
(2)relevantlogicalaamericanplan
(2)relevantlogicalaaustralianplan
(2)sequent calculus
(2)sequentcalculus
(2)sprachphilosophie
(2)theorem
(2)theory of computation
(2)trends in logic
(2)trendsinlogic
(2)artificial intelli
(1)artificialcategoricallogic
(1)c-justificationforempiricalstatements
(1)categorical logic
(1)computer science
(1)Ergebnis: 15 Artikel
Redaktion: heinrich wansing
