Cover Image
Read Now

1181
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Reduced Coulomb Energy Network Method for Approximate Classification -- Hybrid Reasoning with Forest Logic...”
Cover Image
Read Now

1182
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... package for VAXIMA -- On logic programs with data-driven computations -- Darwin, a system designed...”
Cover Image
Read Now

1183
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... processes -- Multiple OR-parallel resolution: Meta-level control of parallel logic programs -- High level...”
Cover Image
Read Now

1184
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... And Parallelism in logic programs -- Predicting toxicity of complex mixtures by artificial neural networks --...”
Cover Image
Read Now

1185
by Stelly, James W.
Published 2021
No Starch Press
“... and logical programming through a series of fun applications, such as solving Sudoku puzzles and creating...”
Cover Image
Read Now

1186
by Gogolla, Martin
Published 1994
Springer Berlin Heidelberg
“... ones. The text explains an implementation of the approach chosen in the logic programing language...”
Cover Image
Read Now

1187
Published 2023
Packt Publishing
“... and logical programming. This course begins with a brief introduction and covers basic to advanced programming...”
Cover Image
Read Now

1188
Published 2011
Springer Berlin Heidelberg
“... for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical...”
Cover Image
Read Now

1189
Published 2012
Springer Berlin Heidelberg
“... procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time...”
Cover Image
Read Now

1190
by Antoniou, G.
Published 1997
MIT Press
“...-founded semantics of logic programs...”
Cover Image
Read Now

1191
Published 1992
Springer Berlin Heidelberg
“... theoremprovers; unification theory; constraint solving; logic programing; verification; multivalued, temporal...”
Cover Image
Read Now

1192
Published 2002
Springer US
“... with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming...”
Cover Image
Read Now

1193
Published 2005
Springer Berlin Heidelberg
“... the general structure of the data. Examples are statistical time series models, cluster models, logic programs...”
Cover Image
Read Now

1194
by Kinnear, Kenneth E.
Published 1996
MIT Press
Cover Image
Read Now

1195
by Coelho, Helder, Cotta, Jose C.
Published 1988
Springer Berlin Heidelberg
“... for introductory and advanced university courses, where students may need to remember the basics about logic...”
Cover Image
Read Now

1196
Published 2024
Springer Nature Switzerland
“..., games, formal languages, logic, program analysis, verification, and synthesis....”
Cover Image
Read Now

1197
by Binner, Jane M.
Published 2004
Emerald
“..., inductive logical programming, classifier systems and Bayesian networks, not to mention many ongoing...”