Serie
lecture notes in computer science
(18)theoretical computer science and general issues
(8)lecture notes in artificial intelligence
(4)Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
domenico cantone
(2)inokuchi, akihiro
(2)omodeo, eugenio g.
(2)pietro ursino
(2)policriti, alberto
(2)satoh, ken
(2)abramsky, samson
(1)alur, rajeev
(1)beckmann, arnold
(1)berger, ulrich
(1)bossi, annalisa
(1)brinksma, ed
(1)conejo, ricardo
(1)damm, werner
(1)danny a. j. gómez ramírez
(1)davis, martin
(1)de moura, leonardo
(1)duparc, jacques
(1)etessami, kousha
(1)fehnker, ansgar
(1)gregory wheeler
(1)gómez ramírez, danny a. j.
(1)henzinger, thomas a.
(1)hermanns, holger
(1)hofmann, martin
(1)jan-willem romeijn
(1)johansson, moa
(1)jon williamson
(1)kawamura, takahiro
(1)kohlhase, michael
(1)larsen, kim g.
(1)löwe, benedikt
(1)mciver, annabelle
(1)miller, bruce
(1)montanari, ugo
(1)nagao, katashi
(1)ong, luke
(1)paavola, sami
(1)peled, doron a.
(1)perez-de-la-cruz, jose-luis
(1)rajamani, sriram k.
(1)rolf haenni
(1)rossi, francesca
(1)schmitz, hans-christian
(1)shook, john r.
(1)takeda, hideaki
(1)toma, frank
(1)torben braüner
(1)tucker, john v.
(1)urretavizcaya, maite
(1)urzyczyn, pawel
(1)voronkov, andrei
(1)washio, takashi
(1)zeevat, henk
(1)Ésik, zoltán
(1)Verlag / Hersteller
springer berlin heidelberg
(17)springer international publishing
(8)springer netherlands
(2)springer, berlin springer international publishing springer
(2)Verlag
springer
(2)springer berlin heidelberg
(17)springer international publishing
(10)springer netherlands
(2)springer, berlin
(2)Genre
mathematik
(22)medizin
(22)naturwissenschaften
(22)technik
(22)geisteswissenschaften
(5)kunst
(5)musik
(5)Schlagwort
computationallogic
(29)computational logic
(28)edv
(18)informatik
(18)logic
(15)philosophie
(9)allgemeines
(8)intelligenz
(7)ki
(7)künstliche intelligenz
(7)künstliche intelligenz - ai
(7)logik
(7)mathematik
(7)algorithms
(6)lexika
(6)mathematical logic and foundations
(6)formal methods
(5)formal verification
(5)lambda calculus
(5)lambdacalculus
(5)model checking
(5)semantics
(5)theorie
(5)automated deduction
(4)automated reasoning
(4)automateddeduction
(4)complexity
(4)mathematical logic
(4)mathematical logic and formal languages
(4)mathematicallogic
(4)programming
(4)theory of computation
(4)ai logics
(3)artificial intelligence
(3)automata
(3)automatedreasoning
(3)calculus
(3)classical logic
(3)computational intelligence
(3)computationalintelligence
(3)computer aided verification
(3)erfüllbarkeitsproblem der aussagenlogik
(3)erfüllbarkeitsproblemderaussagenlogik
(3)finite models
(3)finitemodels
(3)formal method
(3)formal program analysis
(3)formalmethod
(3)formalmethods
(3)heuristics
(3)knowledge
(3)linear logic
(3)linearlogic
(3)logic programming
(3)logical relations
(3)logicalrelations
(3)logicprogramming
(3)modeling
(3)nonclassical logic
(3)nonclassicallogic
(3)optimization
(3)petri net
(3)program semantics
(3)programmier- und skriptsprachen, allgemein
(3)programmiersprachen
(3)programming theory
(3)programmingtheory
(3)programsemantics
(3)software engineering
(3)theoretische informatik
(3)type systems
(3)verifikation - verifizieren
(3)abduction heuristics
(2)abductionheuristics
(2)abductive research methods
(2)abductiveresearchmethods
(2)adaptive logic
(2)algorithm
(2)analysis
(2)artificialintelligence
(2)bayesian networks
(2)bayesiannetworks
(2)categorical methods
(2)categoricalmethods
(2)category theory
(2)categorytheory
(2)church-turing thesis
(2)church-turingthesis
(2)classicalcomplexity
(2)commutative algebra
(2)commutativealgebra
(2)computabilty
(2)computable set theory
(2)computablesettheory
(2)computeraidedformalmethods
(2)constraint
(2)constraint programming
(2)data mining
(2)datamining
(2)debugging
(2)Erscheinungsjahr
1995
(1)2000
(1)2001
(1)2002
(1)2003
(1)2004
(2)2005
(3)2006
(2)2007
(3)2008
(1)2013
(2)2015
(1)2016
(2)2017
(1)2018
(2)2019
(1)2020
(1)2021
(2)2022
(1)Ergebnis: 29 Artikel
Schlagwort: computationallogic
