Cover Image
Read Now

181
Published 2024
Springer Nature Switzerland
“... of Language and logic, and so Centers Around Linguistics, both Theoretical and Computational; Logic...”
Cover Image
Read Now

182
Published 2021
Springer International Publishing
“... invited talks. The papers focus on topics such as probabilistic computation, logic and verification...”
Cover Image
Read Now

183
by Schöning, Uwe, Pruim, Randall J.
Published 1998
Springer Berlin Heidelberg
“..." are central problems and their solutions from the areas of computability, logic, circuit theory...”
Cover Image
Read Now

184
Published 1998
Springer Berlin Heidelberg
“... inference, grammar systems and molecular computations, logic in rough sets, intelligent control, rough sets...”
Cover Image
Read Now

185
Published 2013
Springer Berlin Heidelberg
“...:  declarative languages and technologies, computational logics, declarative approaches to engineering agent...”
Cover Image
Read Now

186
by Bimbó, Katalin
Published 2012
CRC Press
“... of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current...”
Cover Image
Read Now

187
by Luque-Ayala, Andrés
Published 2020
The MIT Press
“... in which urban computational logics have emerged. They consider the rationalities and techniques...”
Cover Image
Read Now

188
Published 2008
Springer Berlin Heidelberg
“..., computational logic, programming languages and their applications and are organized in topical sections...”
Cover Image
Read Now

189
Published 1995
Springer Berlin Heidelberg
“... of computation, logic, proof, specification of programs, semantics of languages, implementation of languages...”
Cover Image
Read Now

190
Published 2002
Springer US
“... in two distinct but interrelated tracks: -Algorithms, Complexity and Models of Computation; -Logic...”
Cover Image
Read Now

191
Published 2008
Springer Berlin Heidelberg
“... (computer algebra, computational logic, and related methods) to various issues in biology and life sciences...”
Cover Image
Read Now

192
Published 1994
Springer Berlin Heidelberg
“... are devoted to the algebra and model theory of higher-order languages, computational logic techniques...”
Cover Image
Read Now

193
Published 1995
Springer Berlin Heidelberg
“... programming, concurrent constraint programming, computational logic, applications, and operations research...”
Cover Image
Read Now

194
Published 1995
Springer Berlin Heidelberg
“... algorithms, computational logic aspects, inductive inference, learning via queries, artificial...”
Cover Image
Read Now

195
Published 2013
Springer Berlin Heidelberg
“..., foundations of computing, logic in computer science, models of computation, semantics and verification...”
Cover Image
Read Now

196
Published 2015
Springer Berlin Heidelberg
“... of logic, automated reasoning, computational logic, programming languages and their applications come...”
Cover Image
Read Now

197
Published 2012
Springer Berlin Heidelberg
“... in the areas of logic, automated reasoning, computational logic, programming languages and their applications...”
Cover Image
Read Now

198
Published 2012
Springer Berlin Heidelberg
“... reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic...”
Cover Image
Read Now

199
Published 2014
Springer International Publishing
“... worked on a large variety of topics including probabilistic and concurrent computation, logics...”
Cover Image
Read Now

200
Published 2012
Springer Berlin Heidelberg
“... to various applications. Topics addressed are: functional language for reversible computations, logic design...”