Serie
lecture notes in computer science
(142)lecture notes in artificial intelligence
(97)theoretical computer science and general issues
(16)programming and software engineering
(7)information systems and applications, incl. internet/web, and hci
(5)applied logic series
(4)ifip advances in information and communication technology
(4)studies in computational intelligence
(4)automated reasoning series
(3)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
voronkov, andrei
(14)buchberger, bruno
(5)bibel, wolfgang
(4)domenico cantone
(4)schmitt, p. h.
(4)aroyo, lora
(3)gerdt, vladimir p.
(3)hyvönen, eero
(3)koepf, wolfram
(3)seiler, werner m.
(3)vorozhtsov, evgenii v.
(3)ali, moonis
(2)antoniou, grigoris
(2)baader, franz
(2)brown, donald e.
(2)bundy, alan
(2)cabral, liliana
(2)cao, longbing
(2)crocker, matthew w.
(2)da ruan
(2)dan corbett
(2)dershowitz, nachum
(2)du, jianfeng
(2)eugenio g. omodeo
(2)feng, d.
(2)gerwin klein
(2)jacob t. schwartz
(2)jacques fleuriot
(2)jonathan lawry
(2)jun liu
(2)kaufmann, matt
(2)keyun qin
(2)leake, david
(2)leonard bolc
(2)manolios, panagiotis
(2)moniz pereira, luis
(2)moore, j. strother
(2)mouhoub, malek
(2)olivetti, nicola
(2)peltier, nicolas
(2)pietro ursino
(2)piotr borowik
(2)popescu, andrei
(2)prinz, andreas
(2)rabe, florian
(2)sadri, fariba
(2)sattler, uli
(2)schewe, klaus-dieter
(2)schmidt, renate a.
(2)shi, zhongzhi
(2)shimohara, k.
(2)siekmann, jörg
(2)sikos, leslie f.
(2)sofronie-stokkermans, viorica
(2)stuckenschmidt, heiner
(2)ten teije, annette
(2)thalheim, bernhard
(2)tobias nipkow
(2)tru hoang cao
(2)tudorache, tania
(2)white, chelsea c.
(2)wu, zhaohui
(2)yang xu
(2)z. stachniak
(2)a.w. biermann
(1)adrian groza
(1)affenzeller, michael
(1)agostinelli, simone
(1)ait mohamed, otmane
(1)alessandro gianola
(1)alferes, jose j.
(1)alfonso miola
(1)armando, alessandro
(1)avigad, jeremy
(1)ayala-rincón, mauricio
(1)aziz, zaheer
(1)badger, julia m.
(1)bartenstein, oskar
(1)basin, david
(1)bassiliades, nick
(1)baumgartner, peter
(1)beckert, bernhard
(1)benhamou, belaid
(1)benthem, johan van
(1)biundo, susanne
(1)bobaru, mihaela
(1)botana, francisco
(1)bouajjani, ahmed
(1)boyer, robert stephen
(1)broersen, jan m.
(1)calimeri, francesco
(1)calmet, jacques
(1)campbell, john a.
(1)caprotti, olga
(1)cardoso, amilcar
(1)carette, jacques
(1)carvalho, ariadne
(1)cerrito, serenella
(1)cervesato, iliano
(1)cesar, pablo
(1)Verlag / Hersteller
birkhäuser basel
(2)crc press
(4)springer berlin heidelberg
(111)springer international publishing
(43)springer london
(4)springer nature switzerland
(3)springer netherlands
(9)springer us
(11)springer, berlin springer international publishing springer
(5)springer, berlin springer nature switzerland ijcar community springer
(2)springer, berlin springer nature switzerland springer
(3)Verlag
birkhäuser basel
(2)crc press
(4)ijcar community
(2)springer
(12)springer berlin heidelberg
(111)springer international publishing
(48)springer london
(4)springer nature switzerland
(9)springer netherlands
(9)springer us
(11)springer, berlin
(12)Schlagwort
automated reasoning
(202)informatik
(172)edv
(170)automatedreasoning
(145)artificial intelligence
(114)künstliche intelligenz
(113)intelligenz
(96)ki
(96)künstliche intelligenz - ai
(95)logic
(57)artificialintelligence
(44)theorie
(44)software engineering
(43)mathematik
(38)proving
(35)automated deduction
(31)mathematical logic and formal languages
(30)programming
(30)semantics
(30)automat
(29)intelligence
(29)algorithms
(28)allgemeines
(28)software-entw.
(26)verification
(26)machine learning
(25)automateddeduction
(24)logic programming
(24)mathematical logic and foundations
(24)theorem proving
(24)model checking
(23)knowledge
(22)knowledge representation
(22)logik
(22)description logics
(20)learning
(20)modeling
(20)theory of computation
(20)formal verification
(18)complexity
(17)informatik, computer
(17)philosophie
(17)proof theory
(17)roboter - robotik - industrieroboter
(17)theoremproving
(17)ai logics
(16)automated theorem proving
(16)expert system
(16)semantic web
(16)automata
(15)data mining
(15)logics and meanings of programs
(15)machinelearning
(15)nonmonotonic reasoning
(15)algorithmus
(14)automatisches schließen
(14)knowledgerepresentation
(14)software engineering/programming and operating systems
(14)automatischesschließen
(13)lexika
(13)programming techniques
(13)expertsystem
(12)formal logic
(12)logic and verification
(12)modelchecking
(12)automatedtheoremproving
(11)computer science
(11)datamining
(11)programmiersprachen
(11)ailogics
(10)classification
(10)datenverarbeitung
(10)formallogic
(10)informationssystem
(10)logikprogrammierung
(10)anwendungs-software
(9)descriptionlogics
(9)formalverification
(9)genetic algorithms
(9)heuristics
(9)nonmonotonicreasoning
(9)optimization
(9)problem solving
(9)prooftheory
(9)calculus
(8)computer science, general
(8)description logic
(8)fuzzy
(8)fuzzy logic
(8)information retrieval
(8)internet
(8)programmieren
(8)programming language
(8)programming languages, compilers, interpreters
(8)resolution
(8)robot
(8)technik
(8)theoretische informatik
(8)algorithm
(7)compiler
(7)Erscheinungsjahr
1984
(1)1986
(2)1989
(1)1990
(2)1992
(4)1993
(4)1994
(4)1995
(4)1996
(5)1997
(5)1998
(7)1999
(2)2000
(4)2001
(5)2002
(4)2003
(7)2004
(3)2005
(9)2006
(7)2007
(6)2008
(3)2009
(9)2010
(14)2011
(9)2012
(6)2013
(1)2014
(9)2015
(13)2016
(10)2017
(8)2018
(5)2019
(7)2020
(4)2021
(4)2022
(2)2023
(5)2024
(5)2026
(2)Ergebnis: 202 Artikel
Schlagwort: automated reasoning
