>> Google Books

Computational Logic and Set Theory : Applying Formalized Logic to Analysis

フォーマット:
電子ブック
責任表示:
by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
言語:
英語
出版情報:
London : Springer-Verlag London Limited, 2011
形態:
v.: digital
著者名:
書誌ID:
NB02224291
ISBN:
9780857298089 [0857298089]  CiNii Books  Webcat Plus  Google Books
学内からのみアクセスすることができます。
子書誌情報
Loading
オンライン
http://dx.doi.org/10.1007/978-0-85729-808-9
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Membrane Computing : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers

Gheorghe, Marian, Hinze, Thomas, Păun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto, SpringerLink (Online service)

Springer Berlin Heidelberg
7 電子ブック Logic, Language, Information and Computation : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Beklemishev, Lev D., Queiroz, Ruy, SpringerLink (Online service)

Springer Berlin Heidelberg
2 電子ブック Applications of Fuzzy Sets Theory : 7th International Workshop on Fuzzy Logic and Applications WILF 2007 Camogli Italy July 7-10 2007. Proceedings

Masulli Francesco, Mitra Sushmita, Pasi Gabriella, SpringerLink (Online service)

Springer-Verlag
8 電子ブック Rough Sets, Fuzzy Sets, Data Mining and Granular Computing : 13th International Conference, RSFDGrC 2011, Moscow, Russia, June 25-27, 2011. Proceedings

Kuznetsov, Sergei O., Ślęzak, Dominik, Hepting, Daryl H., Mirkin, Boris G., SpringerLink (Online service)

Springer-Verlag GmbH Berlin Heidelberg
3 電子ブック Knowledge Processing and Data Analysis : First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007 and First International …

Wolff, Karl Erich, Palchunov, Dmitry E., Zagoruiko, Nikolay G., Andelfinger, Urs, SpringerLink (Online service)

Springer-Verlag GmbH Berlin Heidelberg
9 電子ブック Fundamentals of Computation Theory : 15th International Symposium, FCT 2005, Lubeck, Gemany, August 17-20, 2005, Proceedings

Liskiewicz, Maciej, Reischuk, Rudiger, SpringerLink (Online service)

Springer-Verlag GmbH.
4 電子ブック Fundamentals of Computation Theory : 17th International Symposium, FCT 2009, Wroc?aw, Poland, September 2-4, 2009. Proceedings

Kuty?owski, Miros?aw, Charatonik, Witold, G?bala, Maciej, SpringerLink (Online service)

Springer Berlin Heidelberg
10 電子ブック Foundations of Software Science and Computational Structures : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on …

Amadio, Roberto, SpringerLink (Online service)

Springer-Verlag
5 電子ブック Research in Computational Molecular Biology : 15th Annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011. Proceedings

Bafna, Vineet, Sahinalp, S. Cenk, SpringerLink (Online service)

Springer Berlin Heidelberg
11 電子ブック Foundations of Software Science and Computational Structures (vol. # 3441) : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European …

Sassone, Vladimiro, SpringerLink (Online service)

Springer-Verlag GmbH.
6 電子ブック Logic, Language, Information and Computation : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

Dawar, Anuj, Queiroz, Ruy, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg
12 電子ブック Foundations of Software Science and Computational Structures : 10th International Conference FOSSACS 2007 Held as Part of the Joint European Conferences on …

Seidl Helmut, SpringerLink (Online service)

Springer-Verlag