Applied logic for computer scientists : Computational deduction and formal proofs.

QR Code

Applied logic for computer scientists : Computational deduction and formal proofs.

Bibliographic Details
Format:	Book
Online Access:	Ver documento en línea

Similar Items

Applied logic for computer scientists : computational deduction and formal proofs /
by: Ayala-Rincón, Mauricio
Published: (2017)

Computational logic and set theory : Applying Formalized Logic to Analysis /
Published: (2011)

Computability and logic /
by: Boolos, George
Published: (1980)

Deduction, computation, experiment : exploring the effectiveness of proof /
Published: (2008)

Computer logic : the functional design of digital computers /
by: Flores, Iván, et al.
Published: (1960)

Analysis for computer scientists : Foundations, methods, and algorithms.

Analysis for computer scientists : Foundations, methods, and algorithms.

An introduction to computer logic /
by: Irwin, J. David 1939-, et al.
Published: (1975)

Logic, computers and sets /
by: Wang, Hao 1921-1995
Published: (1970)

Computer logic design /
by: Mano, M. Morris, et al.
Published: (1972)

Digital logic for computing /

Digital logic for computing /

Computer logic desing
by: Mano, M. Morris
Published: (1972)

Digital Logic for Computing /
by: Seiffertt, John.
Published: (2017)

Basic logic : the fundamental principles of formal deductive reasoning
by: McCall, Raymond Joseph 1913-, et al.
Published: (1960)

Applied hydrogeology for scientists and engineers
by: Şen, Zekâi
Published: (1995)

Applied mathematics for engineers and scientists
by: Schelkunoff, Sergei Alexander n. 1897, et al.
Published: (1965)

Applied mathematics for engineers and scientists
by: Lambe, Cyril Gerard, et al.
Published: (1959)

Cloud and serverless computing for scientists : a primer /
Published: (2020)

An introduction to lamba calculi for computer scientists /
by: Hankin, Chris, 1954- ,

Educating next-gen computer scientists
by: Voas, Jeffrey,

Careers for electrical engineers & computer scientists
Published: (1999)

Computational fluid dynamics for engineers and scientists /
by: Jayanti, Sreenivas
Published: (2018)

Finite fields for computer scientists and engineers
by: McEliece, Robert J.
Published: (1987)

Computer basics for librarians and information scientists
by: Fosdick, Horward
Published: (1981)

Computing for Engineers and Scientists with Fortran 77
by: McCracken, Daniel D
Published: (1984)

Essential logic for computer science /
by: Page, Rex L. 1944-
Published: (2018)

Discrete structures, logic, and computability /
by: Hein, James L., et al.
Published: (1995)

Logical design of digital computers
by: Phister, Montgomery 1926-, et al.
Published: (1958)

The Computational complexity of logical theories /
by: Ferrante, Jeanne 1949-, et al.
Published: (1964)

Digital logic and computer design.
by: Mano M., Morris
Published: (1979)

An introduction to deductive logic
by: Leblanc, Hugues 1924-, et al.
Published: (1955)

Differential equations for engineers and applied scientists /
by: Morris, William David, et al.
Published: (1974)

Applied numerical methods for engineers and scientists /
by: Rao, Singiresu S. 1944-
Published: (2002)

Handbook of applied mathematics for engineers and scientists /
by: Kurtz, Max 1920-, et al.
Published: (1991)

Applied statistics for food and agricultural scientists
by: Puri, Subhash C
Published: (1980)

Quantitative Logic and Soft Computing : Vol 2 /
Published: (2010)

Logic, foundations of mathematics, and computability theory
Published: (1975)

Mathematical logic and theoretical computer science
by: Kueker, D.W
Published: (1987)

Applied computational genomics.