Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
gabbay, dov m.
(6)bibel, wolfgang
(5)schmitt, p. h.
(5)dov m. gabbay
(4)sven ove hansson
(3)akama, s.
(2)barringer, howard
(2)basin, david
(2)bonzon, pierre
(2)cavalcanti, marcos
(2)david j. pym
(2)douglas walton
(2)dubois, didier
(2)f.d. kamareddine
(2)fisher, michael
(2)flach, p. a.
(2)fronhöfer, bertram
(2)gough, graham
(2)hölldobler, steffen
(2)kamareddine, f. d.
(2)magnani, l.
(2)n. olivetti
(2)nersessian, n. j.
(2)nossum, rolf
(2)pareschi, remo
(2)peter b. andrews
(2)pizzi, claudio
(2)prade, henri
(2)rijke, maarten de
(2)rob nederpelt
(2)t. laan
(2)wansing, h.
(2)wansing, heinrich
(2)williams, m.
(2)alexander leitsch
(1)baader, f.
(1)corfield, d.
(1)cristina sernadas
(1)d'agostino, m.
(1)d'agostino, marcello
(1)george metcalfe
(1)hadjiantonis, antonis
(1)hannes leitgeb
(1)hieke, a.
(1)hieke, alexander
(1)i. mackie
(1)j.h. woods
(1)jean goubault-larrecq
(1)kakas, antonis
(1)klement, e.p
(1)klement, erich peter
(1)maarten marx
(1)marcelo coniglio
(1)matthews, seán
(1)michael thielscher
(1)morscher, e.
(1)morscher, edgar
(1)nicola olivetti
(1)nicolas peltier
(1)paula gouveia
(1)pei wang
(1)rao, a.
(1)ricardo caferra
(1)rott, h.
(1)rott, hans
(1)schulz, k. u.
(1)torben braüner
(1)viganò, luca
(1)walter carnielli
(1)williamson, j.
(1)wooldridge, michael
(1)yde venema
(1)Schlagwort
logic
(61)philosophie
(45)artificial intelligence
(43)logik
(43)allgemeines
(37)lexika
(37)mathematical logic and foundations
(31)artificialintelligence
(18)künstliche intelligenz
(18)mathematik
(18)programming
(18)grundlagen
(17)intelligence
(17)mathematische grundlagen
(17)semantics
(16)modal logic
(15)modallogic
(15)proof
(15)intelligenz
(14)ki
(14)künstliche intelligenz - ai
(14)linguistics
(13)calculus
(12)automated deduction
(10)automateddeduction
(10)computational linguistics
(10)knowledge representation
(10)knowledge
(9)knowledgerepresentation
(9)predicate logic
(9)proof theory
(9)prooftheory
(9)edv
(8)knowledge base
(8)knowledgebase
(8)predicatelogic
(8)type theory
(8)typetheory
(8)computer
(7)language
(7)philosophy of language
(7)proving
(7)informatik
(6)mathematical logic
(6)mathematics of computing
(6)natural language
(6)nonmonotonic reasoning
(6)nonmonotonicreasoning
(6)programming languages, compilers, interpreters
(6)semantic
(6)syntax
(6)verification
(6)algorithms
(5)cognitive science
(5)cognitivescience
(5)complexity
(5)robot
(5)robotics
(5)software engineering
(5)symbolic and algebraic manipulation
(5)automated reasoning
(4)automated theorem proving
(4)automatedreasoning
(4)automatedtheoremproving
(4)cognitive psychology
(4)communication
(4)complex system
(4)complexsystem
(4)data structures and information theory
(4)epistemology
(4)expert system
(4)heuristics
(4)learning
(4)mathematicallogic
(4)naturallanguage
(4)optimization
(4)philosophy
(4)philosophy of science
(4)sequent calculus
(4)sequentcalculus
(4)set theory
(4)settheory
(4)software engineering/programming and operating systems
(4)term rewriting
(4)bibliography
(3)classification
(3)cognitivepsychology
(3)computer science
(3)computerscience
(3)databases
(3)expertsystem
(3)extension
(3)formal language
(3)formal logic
(3)formallanguage
(3)formallogic
(3)fuzzy logic
(3)fuzzylogic
(3)interdisziplinär - interdisziplinarität
(3)mathematik: logik
(3)Erscheinungsjahr
1996
(2)1997
(2)1998
(3)1999
(6)2000
(5)2001
(3)2002
(4)2003
(1)2004
(1)2010
(28)2011
(2)2012
(3)2013
(1)2014
(1)Ergebnis: 62 Artikel
Buchreihe: applied logic series
