Search alternatives:
22mathematical logic » mathematical logic, mathematics logic, mathematical logical
Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Logics -- An Operational Model for Parsing De.nite Clause Grammars with In.nite Terms -- Mathematical...”
Cover Image
Read Now

2
Published 2000
Springer US
Table of Contents: “...I Introduction to Logic-Based Artificial Intelligence -- 1 Introduction to Logic-Based Artificial...”
Cover Image
Read Now

3
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Versioning Competition Workflow Compiler -- A Sequential Model of Bargaining Reasoning in Logic Programming...”
Cover Image
Read Now

4
by Harrison, J.
Published 2009
Cambridge University Press
Table of Contents: “... Prettyprinting -- 2. Propositional logic. 2.1 The syntax of propositional logic ; 2.2 The semantics...”
Cover Image
Read Now

5
by Grzymala-Busse, Jerzy W.
Published 1991
Springer US
Table of Contents: “...-Order Logic -- 2.2 Production Systems -- 2.3 Semantic Nets -- 2.4 Frames -- Exercises -- 3 Knowledge...”
Cover Image
Read Now

6
Published 2024
Springer Nature Switzerland
Subjects: “...Mathematical Logic and Foundations...”
Cover Image
Read Now

7
Published 1998
Springer US
Table of Contents: “.... A Fuzzy Morphology: a Logical Approach -- 5. Reliability Analysis with Fuzziness and Randomness -- 6...”
Cover Image
Read Now

8
by Stachniak, Z.
Published 1996
Springer Netherlands
Table of Contents: “...1 Logical Preliminaries -- 1.1 Logical Systems -- 1.2 Refutational Principle -- 1.3 Propositional...”
Cover Image
Read Now

9
by Schmitt, Peter H.
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... Prädikatenkalkül erster Stufe -- 2.1 Die Syntax des Prädikatenkalküls erster Stufe -- 2.2 Semantik des...”
Cover Image
Read Now

10
by Abe, Shigeo
Published 1997
Springer US
Table of Contents: “... of the Continuous Hopfield Network -- 2.2 Stability of Equilibrium Points -- 2.3 Suppression of Spurious States...”
Cover Image
Read Now

11
by Medsker, Larry R.
Published 1995
Springer US
Table of Contents: “... and Fuzzy Logic -- Expert Systems and Neural Networks --...”
Cover Image
Read Now

12
by Hausser, Roland R.
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... Komplexität -- 22. Datenbanksemantik -- 23. SLIM-Maschine im Hörermodus -- 24. SLIM-Maschine im Sprechermodus...”
Cover Image
Read Now

13
by Kuncheva, Ludmila I.
Published 2000
Physica
Table of Contents: “... recognition -- 2.1 Class, feature, feature space -- 2.2 Classifier, discriminant functions, classification...”
Cover Image
Read Now

14
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... and Web Agents -- A Programming Logic for Part of the Agent Language 3APL -- The Nepi2Programming System...”
Cover Image
Read Now

15
Published 2017
Springer International Publishing
Table of Contents: “... Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes -- Mathematical...”
Cover Image
Read Now

16
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Resolution Proofs by Lowering Subproofs -- A Tableau System for Right Propositional Neighborhood Logic over...”
Cover Image
Read Now

17
Published 2011
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

18
by Mainzer, Klaus, Kahle, Reinhard
Published 2024
Springer Berlin Heidelberg
Subjects: “...Engineering mathematics...”
Cover Image
Read Now

19
by Ganesalingam, Mohan
Published 2013
Springer Berlin Heidelberg
Table of Contents: “....2.2 Aspect as Properties -- 5.3 Type Distinctions in Mathematics -- 5.3.1 Methodology -- 5.3.2...”
Cover Image
Read Now

20
by Hardy, Yorick, Steeb, Willi H.
Published 2001
Birkhäuser
Table of Contents: “...1 Algorithms -- 2 Boolean Algebra -- 3 Number Representation -- 4 Logic Gates -- 5 Combinational...”