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

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”
Cover Image
Read Now

2
Published 2015
Springer International Publishing
“...Fields of Logic and Computation II This Festschrift has been published in honor of Yuri Gurevich...”
Cover Image
Read Now

3
Published 2020
Springer International Publishing
Table of Contents: “...Computation -- Logic -- Verification -- Topos theory. -Parallel Computing -- Tree -- Gurevich...”
Cover Image
Read Now

4
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...”
Cover Image
Read Now

5
by Dershowitz, Nachum
Published 2004
Springer Berlin Heidelberg
Subjects: “...Logic design...”
Cover Image
Read Now

6
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... for term rewriting systems -- An equational logic sampler -- Modular aspects of properties of term...”
Cover Image
Read Now

7
Published 2003
Springer Berlin Heidelberg
Table of Contents: “...Frontispiece: Zohar Manna -- Pæan to Zohar Manna -- Technical Papers -- A Logic of Object-Oriented...”
Cover Image
Read Now

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

9
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...From Logic to Theoretical Computer Science – An Update -- Reminiscences -- Boris A. Trakhtenbrot...”
Cover Image
Read Now

10
Published 2014
Springer Berlin Heidelberg
“... regarding the relation between mathematical logic and automata theory. From formal languages, Yaacov moved...”