Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 54 kết quả
The complexity of Boolean functions
Tác giả: Ingo Wegener
Xuất bản: Stuttgart: Teubner, 1987
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Lectures in logic and set theory
Tác giả: George J Tourlakis
Xuất bản: Cambridge UK New York: Cambridge University Press, 2003
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Complexity explained
Tác giả: Péte Érdi
Xuất bản: Berlin: Springer, 2007
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Logic : an introductory course
Tác giả: W Newton-Smith
Xuất bản: London: Routledge, 1985
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Proof, logic and formalization
Tác giả: Michael Detlefsen
Xuất bản: London New York: Routledge, 1992
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Logic Toán
Tác giả: Trần Thọ Châu
Xuất bản: Hà Nội: Đại học Quốc gia Hà Nội, 2007
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Stochastic Petri nets : modelling, stability, simulation
Tác giả: Peter J Haas
Xuất bản: New York: Springer, 2002
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Logic and discrete mathematics : a concise introduction
Tác giả: Willem Conradie, Valentin Goranko
Xuất bản: Chichester West Sussex Hoboken NJ: John Wiley Sons Inc, 2015
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
A course in mathematical logic for mathematicians
Tác giả: I͡U I Manin, Neal Koblitz, Boris Zilber
Xuất bản: New York: Springer, 2010
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Model theory : an introduction
Tác giả: D Marker
Xuất bản: New York: Springer, 2002
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 

Truy cập nhanh danh mục