Search alternatives:
"logician" » "logicians", "logiciel", "logica"
Cover Image
Read Now

1
by Snyers, Dominique, Thayse, Andre
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...Theorem in proving and P-functions -- Grammars, logics and declarative programming -- Grammars...”
Cover Image
Read Now

2
Published 1981
Springer Berlin Heidelberg
Table of Contents: “... dynamic logic -- PAL — Propositional algorithmic logic -- Propositional dynamic logics of programs: A...”
Cover Image
Read Now

3
Published 1984
Springer Berlin Heidelberg
Table of Contents: “... and complete logics of partial correctness -- The intractability of validity in logic programming and dynamic...”
Cover Image
Read Now

4
by Wasilewska, Anita
Published 2018
Springer International Publishing
Table of Contents: “...1: Introduction: Paradoxes and Puzzles -- 2: Introduction to Classical Logic -- 3: Propositional...”
Cover Image
Read Now

5
by DOUGLAS LEWIN, DAVID PROTHEROE.
Published 1992
Springer US
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

6
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Contributed Papers -- Tableau Calculi for over minspaces -- A Resolution Mechanism for Prenex Gödel Logic...”
Cover Image
Read Now

7
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Incompleteness of a first-order gödel logic and some temporal logics of programs -- Semantics...”
Cover Image
Read Now

8
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...: On the logical complexity of the largest bisimulation -- On bounded theories -- The cutting plane proof system...”
Cover Image
Read Now

9
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... intuitionistic logic -- Approximable minimization problems and optimal solutions on random inputs -- Bounded...”
Cover Image
Read Now

10
Published 1995
Springer Berlin Heidelberg
Table of Contents: “...Strict finitism and feasibility -- Logical omniscience -- On feasible numbers -- On parallel...”
Cover Image
Read Now

11
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... variable -- Existential fixed-point logic -- Unsolvable decision problems for PROLOG programs -- You have...”
Cover Image
Read Now

12
by Kröger, Fred
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...Logic and Programs -- Historical Remarks -- Some Concepts and Notions of Classical Logic -- I...”
Cover Image
Read Now

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

14
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... for Linear Logic -- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive...”
Cover Image
Read Now

15
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...Representing null values in logic programming -- Comparing cubes -- A logic of capabilities -- Weak...”
Cover Image
Read Now

16
Published 2017
Springer International Publishing
Table of Contents: “...Runtime Verification Logics - A Language Design Perspective -- Testing Divergent Transition Systems...”
Cover Image
Read Now

17
Published 2020
Springer International Publishing
Table of Contents: “...Models of rewriting and rewriting logic -- Termination, confluence, coherence, and complexity...”
Cover Image
Read Now

18
Published 2022
Springer International Publishing
Table of Contents: “... Papers -- Business Processes Analysis with Resource-aware Machine Learning Scheduling in Rewriting Logic...”
Cover Image
Read Now

19
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Cycle -- Designing a Deontic Logic of Deadlines -- Obligation Change in Dependence Logic and Situation...”
Cover Image
Read Now

20
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...Algebraic aspects of the relational knowledge representation: Modal relation algebras -- A logic...”