Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(155)
Dompere, Kofi Kissi. author.
(3)
Gabbay, Dov M. author.
(2)
Governatori, Guido. editor.
(2)
Hanus, Michael. editor. (orcid)0000-0002-4953-8202
(2)
Dil
Konu
Computer science.
(96)
Computer Science Logic and Foundations of Programming.
(87)
Software engineering.
(57)
Formal Languages and Automata Theory.
(51)
Machine theory.
(51)
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ç
158 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT
Yazdır
1. 
Stochastic Coalgebraic Logic için kapak resmi
Stochastic Coalgebraic Logic
by 
Doberkat, Ernst-Erich. author.
https://doi.org/10.1007/978-3-642-02995-0
Format: 
Alıntı: 
Stochastic Coalgebraic Logic Doberkat, Ernst-Erich. author.
2. 
Logic and Integer Programming için kapak resmi
Logic and Integer Programming
by 
Williams, H. Paul. author.
https://doi.org/10.1007/978-0-387-92280-5
Format: 
Alıntı: 
Logic and Integer Programming Williams, H. Paul. author.
3. 
Games: Unifying Logic, Language, and Philosophy için kapak resmi
Games: Unifying Logic, Language, and Philosophy
by 
Majer, Ondrej. editor.
https://doi.org/10.1007/978-1-4020-9374-6
Format: 
Alıntı: 
Games: Unifying Logic, Language, and Philosophy Majer, Ondrej. editor.
4. 
Logic Synthesis for FSM-Based Control Units için kapak resmi
Logic Synthesis for FSM-Based Control Units
by 
Barkalov, Alexander. author.
https://doi.org/10.1007/978-3-642-04309-3
Format: 
Alıntı: 
Logic Synthesis for FSM-Based Control Units Barkalov, Alexander. author.
5. 
Logic Functions and Equations Examples and Exercises için kapak resmi
Logic Functions and Equations Examples and Exercises
by 
Steinbach, Bernd. author.
https://doi.org/10.1007/978-1-4020-9595-5
Format: 
Alıntı: 
Logic Functions and Equations Examples and Exercises / Steinbach, Bernd. author.
6. 
Knowledge-Based Neurocomputing: A Fuzzy Logic Approach için kapak resmi
Knowledge-Based Neurocomputing: A Fuzzy Logic Approach
by 
Kolman, Eyal. author.
https://doi.org/10.1007/978-3-540-88077-6
Format: 
Alıntı: 
Knowledge-Based Neurocomputing: A Fuzzy Logic Approach Kolman, Eyal. author.
7. 
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV için kapak resmi
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
by 
Makinson, David. editor.
https://doi.org/10.1007/978-1-4020-9084-4
Format: 
Alıntı: 
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV /
8. 
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
9. 
Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings için kapak resmi
Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings
by 
Di Gesù, Vito. editor.
https://doi.org/10.1007/978-3-642-02282-1
Format: 
Alıntı: 
Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009
10. 
Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers için kapak resmi
Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
by 
Oddi, Angelo. editor.
https://doi.org/10.1007/978-3-642-03251-6
Format: 
Alıntı: 
Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / Oddi
11. 
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings için kapak resmi
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings
by 
Ono, Hiroakira. editor.
https://doi.org/10.1007/978-3-642-02261-6
Format: 
Alıntı: 
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan
12. 
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings için kapak resmi
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings
by 
He, Xiangdong. editor.
https://doi.org/10.1007/978-3-642-04893-7
Format: 
Alıntı: 
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China
Eylem Seç