Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(470)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Mostowski, Andrzej.
(4)
Schlechta, Karl. author.
(4)
Dil
Yayın Yılı
-
Konu
Logic, Symbolic and mathematical.
(314)
Computer science.
(198)
Artificial intelligence.
(156)
Mathematical logic.
(151)
Mathematics.
(133)
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ç
624 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
493. 
Deduction, Computation, Experiment Exploring the Effectiveness of Proof için kapak resmi
Deduction, Computation, Experiment Exploring the Effectiveness of Proof
Yazar 
Lupacchini, Rossella. editor. Corsi, Giovanna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-88-470-0784-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
494. 
Transition to higher mathematics : structure and proof için kapak resmi
Transition to higher mathematics : structure and proof
Yazar 
Dumas, Bob A. McCarthy, John E.
Yer Numarası 
QA9 .D863 2007
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
495. 
Discrete mathematics and its applications için kapak resmi
Discrete mathematics and its applications
Yazar 
Rosen, Kenneth H.
Yer Numarası 
QA39.3 R674 2007
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
496. 
Finite Model Theory and Its Applications için kapak resmi
Finite Model Theory and Its Applications
Yazar 
Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-68804-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
497. 
Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings için kapak resmi
Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
Yazar 
Duparc, Jacques. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74915-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
498. 
Handbook of dynamic system modeling için kapak resmi
Handbook of dynamic system modeling
Yazar 
Fishwick, Paul A.
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:
499. 
The Strength of Nonstandard Analysis için kapak resmi
The Strength of Nonstandard Analysis
Yazar 
Berg, Imme. editor. Neves, Vítor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-211-49905-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
500. 
Kolmogorov’s Heritage in Mathematics için kapak resmi
Kolmogorov’s Heritage in Mathematics
Yazar 
Charpentier, Éric. editor. Lesne, Annick. editor. Nikolski, Nikolaï K. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-36351-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
501. 
Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen için kapak resmi
Reelle Zahlen Das klassische Kontinuum und die natürlichen Folgen
Yazar 
Deiser, Oliver. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-45388-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
502. 
Ernst Zermelo An Approach to His Life and Work için kapak resmi
Ernst Zermelo An Approach to His Life and Work
Yazar 
Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-49553-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
503. 
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings için kapak resmi
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
Yazar 
Artemov, Sergei N. editor. Nerode, Anil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72734-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
504. 
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
Yazar 
Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72788-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç