Résultats de la recherche - "Logic"

Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 /

Sujets:

Lambda-calculus, combinators, and functional programming / par R ev esz, Gy orgy E.

Sujets:

Digital and microprocessor technology / par O'Connor, Patrick J.

Sujets:

Logic as grammar par Hornstein, Norbert

Sujets:

Investigation of the application of "array algebra" to terrain modeling / par Jancaitis, James R.

Sujets:

Fuzzy logic technology and applications I /

Sujets:

Introduction to the logical design of switching circuits / par Torng, H. C.

Sujets: “…Logic design.…”

Natural language understanding / par Allen, James

Sujets:

Principles of knowledge representation and reasoning : proceedings of the third international conference (KR '92) /

Sujets:

Elements of the theory of computation par Lewis, Harry R.

Sujets:

The computer modelling of mathematical reasoning par Bundy, Alan

Sujets:

Equational logic as a programming language par O'Donnell, Michael J., 1952-

Sujets:

A first course in formal logic and its applications in computer science / par Dowsing, Roy

Sujets:

Knowing and guessing : a quantitative study of inference and information / par Watanabe, Satoshi

Sujets:

The elements of mathematical semantics / par Aldridge, M. V. (Maurice Vincent)

Sujets:

Computer-aided design of digital electronic circuits and systems /

Sujets:

Keith Lehrer /

Sujets:

The TTL data book for design engineers.

Sujets:

Logic design projects using standard integrated circuits / par Wakerly, John F.

Sujets:

Logic & memory experiments using TTL integrated circuits par Larsen, David G.

Sujets: