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

Código QR

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

Detalles Bibliográficos
Formato:	Libro
Acceso en línea:	Ver documento en línea

Ejemplares similares

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

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

Computability and logic /
por: Boolos, George
Publicado: (1980)

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

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

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

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

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

Logic, computers and sets /
por: Wang, Hao 1921-1995
Publicado: (1970)

Computer logic design /
por: Mano, M. Morris, et al.
Publicado: (1972)

Digital logic for computing /

Digital logic for computing /

Computer logic desing
por: Mano, M. Morris
Publicado: (1972)

Digital Logic for Computing /
por: Seiffertt, John.
Publicado: (2017)

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

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

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

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

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

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

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

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

Computational fluid dynamics for engineers and scientists /
por: Jayanti, Sreenivas
Publicado: (2018)

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

Computer basics for librarians and information scientists
por: Fosdick, Horward
Publicado: (1981)

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

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

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

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

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

Digital logic and computer design.
por: Mano M., Morris
Publicado: (1979)

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

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

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

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

Applied statistics for food and agricultural scientists
por: Puri, Subhash C
Publicado: (1980)

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

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

Mathematical logic and theoretical computer science
por: Kueker, D.W
Publicado: (1987)

Applied computational genomics.