MPG.eBooks - Search Results

1

Philosophical Logic and Logical Philosophy

Published 1996

Springer Netherlands

Table of Contents: “... Logic and Methodology of Science -- 4. Hierarchical Learning of Boolean Functions -- 5. Inference...”

Read Now

2

The Logic of Epistemology and the Epistemology of Logic : Selected Essays

by Hintikka, Jaakko, Hintikka, Merrill B.P.
Published 1989

Springer Netherlands

Table of Contents: “...Essay 1. Is Alethic Modal Logic Possible? -- Essay 2. Reasoning About Knowledge in Philosophy...”

Read Now

3

From logic to logic programming

by Doets, Kees
Published 1994

MIT Press

Subjects: “...Logic programming...”

Read Now

4

Logic...

by Nicole, Pierre
Published 1717

printed for William Taylor, at the Ship in Pater-Noster-Row

Subjects: “...Logic / Early works to 1800...”

Read Now

5

Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part I

by Kakas, Antonis C
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

6

Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski Part II

by Kakas, Antonis C
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Mathematical Logic and Formal Languages...”

Read Now

7

From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions

Published 1987

Springer

Read Now

8

Non-logic Devices in Logic Processes

by Ma, Yanjun, Kan, Edwin
Published 2017

Springer International Publishing

Table of Contents: “...Part 1. Basics -- 1. Introduction -- 2. Overview of Logic CMOS Devices -- 3. Overview of Logic CMOS...”

Read Now

9

Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part I

Published 2002

Springer Berlin Heidelberg

Table of Contents: “... Computational Logician -- Bob Kowalski: A Portrait -- Bob Kowalski: A Portrait -- Directions for Logic...”

Read Now

10

Computational Logic: Logic Programming and Beyond : Essays in Honour of Robert A. Kowalski, Part II

Published 2002

Springer Berlin Heidelberg

Table of Contents: “...Logic in Databases and Information Integration -- MuTACLP: A Language for Temporal Reasoning...”

Read Now

11

From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions

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...”

Read Now

12

Introduction to Logic Circuits & Logic Design with Verilog

by LaMeres, Brock J.
Published 2017

Springer International Publishing

Table of Contents: “... -- Combinational Logic Design -- Verilog (Part 1) -- MSI Logic -- Sequential Logic Design -- Verilog (Part 2...”

Read Now

13

Introduction to Logic Circuits & Logic Design with VHDL

by LaMeres, Brock J.
Published 2019

Springer International Publishing

Table of Contents: “... -- Combinational Logic Design -- VHDL (Part 1) -- MSI Logic -- Sequential Logic Design -- VHDL (Part 2...”

Read Now

14

Logic Pro 8 and Logic Express 8

by Nahmani, David
Published 2008

Peachpit Press

Subjects: “...Logic (Computer file) / http://id.loc.gov/authorities/names/n2004080486...”

Read Now

15

Logic Pro 9 and Logic Express 9

by Nahmani, David
Published 2010

Peachpit Press

Table of Contents: “...Make music with Logic now! -- Recording audio -- Editing audio -- Recording MIDI -- Programming...”

Read Now

16

Introduction to Logic Circuits & Logic Design with VHDL

by LaMeres, Brock J.
Published 2017

Springer International Publishing

Table of Contents: “... -- Combinational Logic Design -- VHDL (Part 1) -- MSI Logic -- Sequential Logic Design -- VHDL (Part 2...”

Read Now

17

Introduction to Logic Circuits & Logic Design with Verilog

by LaMeres, Brock J.
Published 2019

Springer International Publishing

Table of Contents: “... -- Combinational Logic Design -- Verilog (Part 1) -- MSI Logic -- Sequential Logic Design -- Verilog (Part 2...”

Read Now

18

Introduction to Logic Circuits & Logic Design with VHDL

by LaMeres, Brock J.
Published 2024

Springer International Publishing

Table of Contents: “... -- Combinational Logic Design -- VHDL (Part 1) -- MSI Logic -- Sequential Logic Design -- VHDL (Part 2...”

Read Now

19

Introduction to Logic Circuits & Logic Design with Verilog

by LaMeres, Brock J.
Published 2024

Springer International Publishing

Table of Contents: “... -- Combinational Logic Design -- Verilog (Part 1) -- MSI Logic -- Sequential Logic Design -- Verilog (Part 2...”

Read Now

20

Tableau Methods for Propositional Logic and Term Logic

by Jarmużek, Tomasz
Published 2021

Peter Lang International Academic Publishers

Subjects: “...Logic...”

Narrow Search