Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(81)
Löwe, Benedikt. editor.
(4)
Artemov, Sergei. editor.
(3)
Nerode, Anil. editor.
(3)
Kaminski, Michael. editor.
(2)
Dil
Yayın Yılı
-
Konu
Mathematical Logic and Foundations.
(81)
Computer science.
(53)
Formal Languages and Automata Theory.
(51)
Machine theory.
(51)
Computer science-Mathematics.
(38)
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ç
81 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
1. 
Mathematical Logic for Computer Science için kapak resmi
Mathematical Logic for Computer Science
by 
Ben-Ari, Mordechai. author.
https://doi.org/10.1007/978-1-4471-4129-7
Format: 
Alıntı: 
Mathematical Logic for Computer Science Ben-Ari, Mordechai. author.
2. 
Mathematics of Discrete Structures for Computer Science için kapak resmi
Mathematics of Discrete Structures for Computer Science
by 
Pace, Gordon J. author.
https://doi.org/10.1007/978-3-642-29840-0
Format: 
Alıntı: 
Mathematics of Discrete Structures for Computer Science Pace, Gordon J. author.
3. 
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings için kapak resmi
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
by 
Artemov, Sergei. editor.
https://doi.org/10.1007/978-3-642-35722-0
Format: 
Alıntı: 
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA
4. 
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings için kapak resmi
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings
by 
Artemov, Sergei. editor.
https://doi.org/10.1007/978-3-540-92687-0
Format: 
Alıntı: 
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL
5. 
Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings için kapak resmi
Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
by 
Grädel, Erich. editor.
https://doi.org/10.1007/978-3-642-04027-6
Format: 
Alıntı: 
Computer Science Logic 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL
6. 
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings için kapak resmi
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings
by 
Kaminski, Michael. editor.
https://doi.org/10.1007/978-3-540-87531-4
Format: 
Alıntı: 
Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL
7. 
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
by 
Artemov, Sergei. editor.
https://doi.org/10.1007/978-3-540-72734-7
Format: 
Alıntı: 
Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June
8. 
Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings için kapak resmi
Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
by 
Duparc, Jacques. editor.
https://doi.org/10.1007/978-3-540-74915-8
Format: 
Alıntı: 
Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL
9. 
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings için kapak resmi
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
by 
Ésik, Zoltán. editor.
https://doi.org/10.1007/11874683
Format: 
Alıntı: 
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL
10. 
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings için kapak resmi
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
by 
Ong, Luke. editor.
https://doi.org/10.1007/11538363
Format: 
Alıntı: 
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL
11. 
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift için kapak resmi
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
by 
Paule, Peter. editor.
https://doi.org/10.1007/978-3-319-00966-7
Format: 
Alıntı: 
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift /
12. 
Adapting Proofs-as-Programs The Curry--Howard Protocol için kapak resmi
Adapting Proofs-as-Programs The Curry--Howard Protocol
by 
Poernomo, Iman. author.
https://doi.org/10.1007/0-387-28183-5
Format: 
Alıntı: 
Computer Science Logic and Foundations of Programming.
Eylem Seç