Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(15)
Cupillari, Antonella.
(3)
Girard, Jean-Yves.
(2)
Negri, Sara.
(2)
von Plato, Jan.
(2)
Yayın Yılı
-
Konu
Proof theory.
(22)
Logic, Symbolic and mathematical.
(10)
Mathematics.
(5)
Computer science.
(3)
LANGUAGE ARTS & DISCIPLINES / Linguistics / General.
(3)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
52 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Resilience and urban risk management proceedings of the conference 'How the concept of resilience is able to improve urban risk management? : a temporal and a spatial analysis', Paris, France, 3-4 November 2011 için kapak resmi
Resilience and urban risk management proceedings of the conference 'How the concept of resilience is able to improve urban risk management? : a temporal and a spatial analysis', Paris, France, 3-4 November 2011
Yazar 
Serre, Damien. Barroca, Bruno. Laganier, Richard.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Nonlinear optimal control theory için kapak resmi
Nonlinear optimal control theory
Yazar 
Berkovitz, Leonard David, 1924- Medhin, Negash G.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
A realist theory of art history için kapak resmi
A realist theory of art history
Yazar 
Verstegen, Ian.
Yer Numarası 
ONLINE
Elektronik Erişim 
Click here to view
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
The nuts and bolts of proofs : an introduction to mathematical proofs için kapak resmi
The nuts and bolts of proofs : an introduction to mathematical proofs
Yazar 
Cupillari, Antonella.
Yer Numarası 
QA9.54 C86 2013
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
29. 
The nuts and bolts of proofs an introduction to mathematical proofs için kapak resmi
The nuts and bolts of proofs an introduction to mathematical proofs
Yazar 
Cupillari, Antonella. ScienceDirect (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Limits of computation an introduction to the undecidable and the intractable için kapak resmi
Limits of computation an introduction to the undecidable and the intractable
Yazar 
Reiter, Edna E. (Edna Elizabeth) Johnson, Clayton Matthew.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Semantic and Conceptual Development : An Ontological Perspective için kapak resmi
Semantic and Conceptual Development : An Ontological Perspective
Yazar 
Keil, Frank C., author. Cotter, Kevin, contributor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.4159/harvard.9780674181816
https://www.degruyter.com/isbn/9780674181816
Cover https://www.degruyter.com/cover/covers/9780674181816.jpg
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Frege's notations what they are and how they mean için kapak resmi
Frege's notations what they are and how they mean
Yazar 
Landini, Gregory. Palgrave Connect (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=433320
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Gd̲el's way exploits into an undecidable world için kapak resmi
Gd̲el's way exploits into an undecidable world
Yazar 
Chaitin, Gregory J. Doria, Francisco Antn̥io. Costa, Newton C. A. da.
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
The history of mathematical proof in ancient traditions için kapak resmi
The history of mathematical proof in ancient traditions
Yazar 
Chemla, Karine.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=458586
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Language and Logos : Studies in theoretical and computational linguistics için kapak resmi
Language and Logos : Studies in theoretical and computational linguistics
Yazar 
Blaszczak, Joanna, contributor. Brekle, Herbert E., contributor. Cavar, Damir, contributor. Didakowski, Jörg, contributor. Ebert, Christian, contributor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1524/9783050062365
https://www.degruyter.com/isbn/9783050062365
Cover https://www.degruyter.com/document/cover/isbn/9783050062365/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Discrete mathematics demystified a self-teaching guide için kapak resmi
Discrete mathematics demystified a self-teaching guide
Yazar 
Krantz, Steven G. (Steven George), 1951-
Yer Numarası 
ONLINE
Elektronik Erişim 
Subscription required
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç