Serie
lecture notes in computer science
(13)lecture notes in artificial intelligence
(5)programming and software engineering
(5)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
hou, zhe
(2)miodrag raškovic
(2)polkowski, lech t.
(2)zoran markovic
(2)zoran ognjanovic
(2)ahrendt, wolfgang
(1)aloni, maria
(1)andrea iacona
(1)barbosa, luis soares
(1)bastiaanse, harald
(1)beckert, bernhard
(1)benthem, johan van
(1)bove, ana
(1)bubel, richard
(1)ceci, michelangelo
(1)cha, sungdeok
(1)choi, jin-young
(1)comon, hubert
(1)de jager, tikitu
(1)derek goldrei
(1)dubois, catherine
(1)flávio l. c. de moura
(1)gosh, sujata
(1)hasuo, ichiro
(1)he, xiangdong
(1)horty, john
(1)hähnle, reiner
(1)iacona, andrea
(1)karsten konrad
(1)kim, moonzoo
(1)laszlo csirmaz
(1)lee, david
(1)loglisci, corrado
(1)lopes, antonia
(1)lutz, carsten
(1)manco, giuseppe
(1)marché, claude
(1)masciari, elio
(1)mauricio ayala-rincón
(1)mordechai ben-ari
(1)ognjanovic, zoran
(1)pacuit, eric
(1)pardo, alberto
(1)pinto, jorge sousa
(1)poetzsch-heffter, arnd
(1)ranise, silvio
(1)ras, zbigniew w.
(1)roger antonsen
(1)schmitt, peter h.
(1)schulz, katrin
(1)treinen, ralf
(1)ulbrich, mattias
(1)verbrugge, rineke
(1)viswanathan, mahesh
(1)yves nievergelt
(1)zalán gyenis
(1)Verlag / Hersteller
springer berlin heidelberg
(9)springer international publishing
(11)springer london
(2)springer, berlin springer international publishing springer
(6)Verlag
springer
(6)springer berlin heidelberg
(9)springer international publishing
(17)springer london
(2)springer, berlin
(6)Genre
mathematik
(24)medizin
(24)naturwissenschaften
(24)technik
(24)geisteswissenschaften
(2)kunst
(2)musik
(2)Schlagwort
first-order logic
(29)
first-orderlogic
(29)edv
(22)informatik
(22)propositional logic
(9)propositionallogic
(9)mathematical logic and foundations
(7)formal methods
(5)formalmethods
(5)intelligenz
(5)ki
(5)künstliche intelligenz
(5)künstliche intelligenz - ai
(5)mathematical logic and formal languages
(5)mathematik
(5)modal logic
(5)modallogic
(5)philosophie
(5)theoretische informatik
(5)theorie
(5)allgemeines
(4)artificial intelligence
(4)automata theory
(4)automatatheory
(4)default reasoning
(4)defaultreasoning
(4)knowledge inconsistency
(4)knowledgeinconsistency
(4)logic
(4)model checking
(4)probability functions
(4)probability logic
(4)probabilityfunctions
(4)probabilitylogic
(4)satisfiability checking
(4)satisfiabilitychecking
(4)software engineering
(4)software-entw.
(4)uncertain reasoning
(4)uncertainreasoning
(4)verification
(4)artificialintelligence
(3)automata
(3)computerprogrammierung und softwareentwicklung
(3)grundlagen
(3)logics
(3)logik
(3)mathematical logic
(3)model theory
(3)modelchecking
(3)natural deduction
(3)naturaldeduction
(3)programming
(3)proof theory
(3)prooftheory
(3)semantics
(3)sequent calculus
(3)sequentcalculus
(3)set theory
(3)settheory
(3)testing
(3)algorithms
(2)approximatereasoning
(2)completeness theorem
(2)completenesstheorem
(2)computability
(2)computational intelligence
(2)computationalintelligence
(2)computer communication networks
(2)constraint logic programming
(2)constraint solving
(2)constraintlogicprogramming
(2)curry-howard correspondence
(2)curry-howardcorrespondence
(2)data engineering
(2)data sciences
(2)dataengineering
(2)datasciences
(2)datenkommunikation
(2)dynamic logic
(2)dynamicepistemiclogic
(2)epistemic logic
(2)epistemic, default and dynamic logic
(2)epistemic,defaultanddynamiclogic
(2)formal languages
(2)formallanguages
(2)lexika
(2)logic programming
(2)logicprogramming
(2)logics and meanings of programs
(2)many-valued logics
(2)many-valuedlogics
(2)mathematicallogic
(2)mathematicallogicandfoundations
(2)modeltheory
(2)multi-agent systems
(2)multi-agentsystems
(2)netzwerk (elektronisch)
(2)netzwerk-hardware
(2)netzwerke
(2)Erscheinungsjahr
2001
(1)2004
(1)2005
(1)2008
(1)2009
(4)2010
(1)2012
(1)2015
(2)2016
(5)2017
(1)2018
(1)2020
(1)2021
(3)2022
(5)2023
(1)Ergebnis: 29 Artikel
Schlagwort: first-orderlogic
