Search alternatives:
"logicians" » "logiciels"

181
by Primiero, Giuseppe
Published 2008
Springer Netherlands
... neglected by current researchers in Type Theory. The treatment is especially formulated for logicians with a...

182
Published 2009
Springer Netherlands
... trained a team of researchers that included some of the most important logicians and philosophers...

183
Published 2000
Springer Netherlands
... the more task-oriented approach of AI. The book will command the attention of philosophers, logicians, AI...

184
by Buss, Samuel R.
Published 1998
Elsevier
... also be accessible to a diverse audience, including logicians, mathematicians, computer scientists...

185
Published 1997
Springer Netherlands
..., logicians and for scientists working in the field of language and AI....

186
Published 2020
Springer International Publishing
... from various fields. As such, it offers a valuable asset for logicians, mathematicians and computer...

187
Published 2002
Springer Netherlands
... logician, the dogged persistence of a head longshoreman, the unflagging humor of a Rabelaisian satirist...

188
by Sigmund, Karl, Dawson, John, Mühlberger, Kurt
Published 2006
Vieweg+Teubner Verlag

189
by Geudens, Christophe, Demey, Lorenz
Published 2022
Springer International Publishing
... of ideas, and to any contemporary modal logician who is interested in the historical roots...

190
by Gries, David, Schneider, Fred B.
Published 1993
Springer New York
... in applications that arise in computer science and discrete mathematics. We are not logicians, but programming...

191
Published 1995
Springer Netherlands
... and logicians who were members of an International Working Group supported by the European Commission. The Group...

192
Published 1990
Springer Berlin Heidelberg
.... The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western...

193
by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009
Springer Berlin Heidelberg
... to computational logicians, and professional specialists on applications of cognitive, hybrid and artificial...

194
Published 1995
Springer Netherlands
... to be summarised. The two volumes are complementary. For logicians, mathematicians, philosophers, linguists...

195
by Rautenberg, Wolfgang
Published 2010
Springer New York
.... The remaining chapters contain basic material on logic programming for logicians and computer scientists, model...

196
by Rumely, Robert S.
Published 1989
Springer Berlin Heidelberg
... be of interest to logicians. The theory presented generalizes one due to David Cantor for the projective line...

197
Published 1989
Springer Netherlands
... and Semantics held in Amherst on March 13-16 1986. The conference brought together logicians, philosophers, com...

198
Published 1988
Springer Netherlands
...Stanislaw Lesniewski (1886-1939) was one of the leading Polish logicians and founders of the Warsaw...

199
by Pasniczek, Jacek
Published 1998
Springer Netherlands
... of extending and modifying M-logic. Audience: The book is addressed to logicians, cognitive scientists...

200
Published 1990
Springer Berlin Heidelberg
... interdisciplinary character. The ideas of Ramsey theory are shared by logicians, set theorists and combinatorists...