Search alternatives:
"logicians" » "logiciels"

201
Published 2016
Springer International Publishing
... appeal to mathematicians and logicians...

202
Published 2007
Springer Netherlands
... in the computation of meaning as expressed in language. Aimed at linguists, computer scientists, and logicians...

203
Published 2003
Springer Netherlands
... to that, logicians interested in the applications of their field and logic students in mathematics, computer science...

204
Published 2022
Birkhäuser
... logicians, historians of logic, semioticians, philosophers, theologians, mathematicians, and psychoanalysts...

205
Published 1989
Springer Berlin Heidelberg
... intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists...

206
Published 1990
Springer Berlin Heidelberg
... programming, artificial intelligece, and temporal logic. The volume should be of interest to all logicians...

207
by Gordon, Thomas F.
Published 1995
Springer Netherlands
... argumentation and decision making. In his view, mathematical logicians were preoccupied with fonnalizing...

208
by Fitting, M.
Published 1983
Springer Netherlands
... different types of formal proof procedures that logicians have invented. The ones we consider are: 1...

209
Published 1971
Springer Netherlands
... of Science.! Some thirty philosophers, logicians, linguists, and psychologists from Israel, U.S.A., West...

210
by Iqbal, Muhammad
Published 2022
Springer International Publishing
...). This volume will be of interest to historians and philosophers in general, and logicians and historians...

211
Published 2021
Springer International Publishing
... of the consistency of ordinary arithmetic. It offers indispensable reading for logicians, mathematicians...

212
Published 2022
Springer International Publishing
... of the book is the multicultural nature of the community that has produced it. Philosophers, logicians...

213
Published 2004
Springer Berlin Heidelberg
..., and the distinguished logician Martin Davis, who provides a first critical essay on an emerging and controversial field...

214
Published 2014
Springer Netherlands
...This collection of papers celebrating the contributions of Swedish logician Dag Prawitz to Proof...

215
Published 2017
Birkhäuser
... of mathematics, this meeting also honored the life and work of the logician and philosopher of mathematics Aldo...

216
by Manekin, Charles H.
Published 1992
Springer Netherlands
..., mathematician, and biblical exegete. But in the Middle Ages he was also famous for his prowess as a logician...

217
Published 2014
Springer International Publishing
... the important contributions made in this area by Nuel Belnap, American logician and philosopher. Philosophically...

218
Published 2023
Springer Berlin Heidelberg
...Kurt Gödel was not just a brilliant logician but contributed also important results to the general...

219
Published 2007
Springer Berlin Heidelberg
... geometry, and error-correcting codes. Several prominent logicians, mathematicians, and computer scientists...

220
Published 1999
Springer Netherlands
... semantics. It is aimed at those linguists, computer scientists, and logicians who want to know more about...