Mathematical Logic and Computability /

QR Kod

Mathematical Logic and Computability /

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Keisler, H. Jerome
Diğer Yazarlar:	Robbin, Joel
Materyal Türü:	Sách giấy
Dil:	English
Baskı/Yayın Bilgisi:	Singapore : McGraw-Hill, 1996
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Benzer Materyaller

Logic for mathematics and computer sicence
Yazar:: Burris, Stanley N.
Baskı/Yayın Bilgisi: (1998)

Mathematical logic for computer science.
Yazar:: Lu Zhungwan
Baskı/Yayın Bilgisi: (1989)

Mathematical logic for computer science /
Yazar:: Lu, Zhongwan.
Baskı/Yayın Bilgisi: (1989)

Mathematical logic for computer science /
Yazar:: Lu, Zhongwan.
Baskı/Yayın Bilgisi: (1989)

Logic and discrete mathematics
Yazar:: Winfried Karl Grassmann
Baskı/Yayın Bilgisi: (1996)

Computability and logic
Yazar:: Boolos, George
Baskı/Yayın Bilgisi: (2002)

A Problem Course in Mathematical Logic
Yazar:: Bilaniuk, Stefan
Baskı/Yayın Bilgisi: (2010)

Petr Hájek on Mathematical Fuzzy Logic
Yazar:: Montagna, Franco
Baskı/Yayın Bilgisi: (2015)

Mathematical Logic. 1st ed.
Yazar:: Kossak, Roman
Baskı/Yayın Bilgisi: (2020)

Logic, Language, and Computation
Baskı/Yayın Bilgisi: (2020)

Language, Logic, and Computation
Yazar:: Silva, Alexandra, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer Science Logic
Baskı/Yayın Bilgisi: (2020)

Logic, Language, and Computation
Baskı/Yayın Bilgisi: (2020)

Logic, Language, and Computation
Yazar:: Bezhanishvili, G, ve diğerleri
Baskı/Yayın Bilgisi: (2015)

Infinity in Logic and Computation
Baskı/Yayın Bilgisi: (2020)

Logic for computer scientists
Yazar:: Uwe Schoning
Baskı/Yayın Bilgisi: (1989)

Computer graphics through key mathematics /
Yazar:: Jones, H.
Baskı/Yayın Bilgisi: (2001)

Computer algebra recipes for mathematical physics
Yazar:: Enns, Richard H
Baskı/Yayın Bilgisi: (2014)

Philosophical and Mathematical Logic. 1st ed.
Yazar:: Swart, Harrie de
Baskı/Yayın Bilgisi: (2020)

Introduction to logic and computer design
Yazar:: Alan B. Marcovitz
Baskı/Yayın Bilgisi: (2008)

Computer architecture and logic design /
Yazar:: Bartee, Thomas C.
Baskı/Yayın Bilgisi: (1991)

Deontic Logic in Computer Science
Yazar:: Meyden, Ron van der, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic, Language, Information, and Computation
Yazar:: Moss, Lawrence S., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic, Language, Information and Computation
Baskı/Yayın Bilgisi: (2020)

Computation and Logic in the Real World
Yazar:: Cooper, Barry S., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logic, Language, Information and Computation
Yazar:: Leivant, Daniel, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Logical Foundations of Computer Science
Yazar:: Artemov, Sergei, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Computer mathematics.
Baskı/Yayın Bilgisi: (2003)

Mathematics and Computing
Yazar:: Ghosh, Debdas, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Mathematics in Computing
Yazar:: O’Regan, Gerard
Baskı/Yayın Bilgisi: (2020)

Computer Mathematics
Baskı/Yayın Bilgisi: (2020)

Arithmetic and logic in computer systems
Yazar:: Lu, Mi
Baskı/Yayın Bilgisi: (2004)

Introduction to logic and computer design
Yazar:: Marcovitz, Alan B.
Baskı/Yayın Bilgisi: (2008)

Introduction to logic and computer design
Yazar:: Marcovitz, Alan B.
Baskı/Yayın Bilgisi: (2008)

Introduction to Logic and Computer Design /
Yazar:: Marcovitz Alan B
Baskı/Yayın Bilgisi: (2007)

Introduction to logic and computer design
Yazar:: Marcovitz, Alan B
Baskı/Yayın Bilgisi: (2008)

Introduction to logic and computer design
Yazar:: Marcovitz, Alan B
Baskı/Yayın Bilgisi: (2008)

Logic and computer design fundamentals
Yazar:: Mano, M. Morris
Baskı/Yayın Bilgisi: (2016)

Computer Methods for Mathematical Computations
Yazar:: Không rõ
Baskı/Yayın Bilgisi: (1977)

Computational mathematics :
Yazar:: White, Robert E.
Baskı/Yayın Bilgisi: (2004)