Serie
lecture notes in computer science
(30)lecture notes in artificial intelligence
(15)theoretical computer science and general issues
(13)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
voronkov, andrei
(31)virbitskaite, irina
(5)bjørner, nikolaj
(2)clarke, edmund m.
(2)baader, franz
(1)baaz, matthias
(1)cervesato, iliano
(1)davis, martin
(1)decker, hendrik
(1)dershowitz, nachum
(1)diekert, volker
(1)fehnker, ansgar
(1)fermüller, christian g.
(1)freitag, burkhard
(1)ganzinger, harald
(1)hermann, miki
(1)kifer, michael
(1)macmillan, ken
(1)mazzara, manuel
(1)mcallester, david
(1)mciver, annabelle
(1)middeldorp, aart
(1)nieuwenhuis, robert
(1)parigot, michel
(1)petrenko, alexander k.
(1)pnueli, amir
(1)robinson, alan
(1)sutcliffe, geoff
(1)vardi, moshe
(1)veith, helmut
(1)volkov, mikhail
(1)weidenbach, christoph
(1)Verlag / Hersteller
springer berlin heidelberg
(27)springer international publishing
(3)Schlagwort
edv
(28)informatik
(28)artificial intelligence
(21)künstliche intelligenz
(18)software engineering
(18)intelligenz
(17)ki
(17)künstliche intelligenz - ai
(17)logic
(16)automated reasoning
(14)programming
(14)automat
(12)logics and meanings of programs
(10)theorie
(10)automatedreasoning
(9)mathematical logic and formal languages
(9)verification
(9)logikprogrammierung
(8)software-entw.
(8)theory of computation
(8)description logics
(7)mathematical logic and foundations
(7)mathematik
(7)programmiersprachen
(7)programming techniques
(7)proving
(7)automata
(6)formal verification
(6)intelligence
(6)model checking
(6)semantics
(6)artificialintelligence
(5)compiler
(5)logic programming
(5)logik
(5)proof theory
(5)software engineering/programming and operating systems
(5)theorem proving
(5)automated theorem proving
(4)automatedtheoremproving
(4)constraint programming
(4)distributed systems
(4)informatik, computer
(4)philosophie
(4)prooftheory
(4)roboter - robotik - industrieroboter
(4)theoremproving
(4)theoretische informatik
(4)übersetzer (edv)
(4)allgemeines
(3)automated deduction
(3)complexity
(3)computer science
(3)constraint
(3)databases
(3)knowledge
(3)modeling
(3)nonmonotonic reasoning
(3)programming languages, compilers, interpreters
(3)resolution
(3)schluss (logisch)
(3)abstraction
(2)ai logics
(2)algorithm analysis and problem complexity
(2)algorithms
(2)answer set programming
(2)answersetprogramming
(2)approximation
(2)artificialautomatedreasoning
(2)aspect-oriented programming
(2)aspect-orientedprogramming
(2)automateddeduction
(2)bildbearbeitung
(2)bildverarbeitung
(2)component-based systems
(2)component-basedsystems
(2)computational complexity
(2)computer programming
(2)computer systems
(2)computers
(2)computerscience
(2)concurrency
(2)constraint solving
(2)constraintprogramming
(2)constraintsolving
(2)data structure
(2)data structures
(2)datastructure
(2)datastructures
(2)debugging
(2)deductive databases
(2)deductivedatabases
(2)description formalverification
(2)descriptionlogics
(2)distributedsystems
(2)formal languages and automata theory
(2)formal logic
(2)formal method
(2)formalmethod
(2)formalverification
(2)Erscheinungsjahr
1992
(2)1993
(1)1998
(1)1999
(1)2000
(1)2001
(2)2002
(2)2003
(1)2005
(2)2006
(1)2007
(3)2008
(2)2010
(2)2011
(1)2012
(2)2013
(2)2015
(2)2016
(1)2018
(1)2019
(1)Ergebnis: 31 Artikel
Redaktion: andrei voronkov
