Mathematical Problems from Applied Logic I : Logics for the XXIst Century

>> Google Books

Mathematical Problems from Applied Logic I : Logics for the XXIst Century

フォーマット:

電子ブック

責任表示:

edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev

言語:

英語

出版情報:

New York, NY : Springer Science+Business Media, Inc., 2006

形態:

v.: digital

著者名:

シリーズ名:

International Mathematical Series ; 4

書誌ID:

NB02215043

ISBN:

9780387310725 [038731072X]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/0-387-31072-X

所蔵情報

タイトルが類似している資料

詳細

主題:	Logic; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Mathematics; Mathematics of Computing
分類・件名:	LCSH : Computer science LCSH : Logic LCSH : Logic design LCSH : Logic, Symbolic and mathematical FREE : Mathematics FREE : Logic FREE : Logics and Meanings of Programs FREE : Mathematical Logic and Formal Languages FREE : Mathematical Logic and Foundations FREE : Mathematics of Computing
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Mathematical Problems from Applied Logic II : Logics for the XXIst Century Gabbay, Dov M., Goncharov, Sergei S., Zakharyaschev, Michael, SpringerLink (Online service) Springer Science+Business Media, LLC	7 電子ブック Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings Gradel, Erich, Kahle, Reinhard, SpringerLink (Online service) Springer Berlin Heidelberg
2 電子ブック Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula, Sernadas, Cristina, SpringerLink (Online service) Springer Science+Business Media B.V.	8 電子ブック The Mathematics of Language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings Kanazawa, Makoto, Kornai, András, Kracht, Marcus, Seki, Hiroyuki, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg
3 電子ブック Conditionals and Modularity in General Logics Gabbay, Dov M., Schlechta, Karl, SpringerLink (Online service) Springer-Verlag Berlin Heidelberg	9 電子ブック Typed Lambda Calculi and Applications : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings Hutchison, David, Sudan, Madhu, Kanade, Takeo, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, … Springer Berlin Heidelberg
4 電子ブック Proof Theory for Fuzzy Logics Metcalfe, George, Barwise, Jon, Gabbay, Dov M., Gabbay, Dov, Olivetti, Nicola, SpringerLink (Online service) Springer Netherlands	10 電子ブック A Course in Mathematical Logic for Mathematicians Manin, Yu. I., SpringerLink (Online service) Springer-Verlag New York
5 電子ブック Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV Wojcicki, Ryszard, Hendricks, Vincent F., Makinson, David, Malinowski, Jacek, Mundici, Daniele, Or?owska, Ewa, … Springer Netherlands	11 電子ブック Logic Programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings Hill, Patricia M., Warren, David S., SpringerLink (Online service) Springer Berlin Heidelberg
6 電子ブック A Modern Perspective on Type Theory : From its Origins until Today Kamareddine, Fairouz, Laan, Twan, Nederpelt, Rob, SpringerLink (Online service) Springer Science + Business Media, Inc.	12 電子ブック Typed Lambda Calculi and Applications : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings Ong, Luke, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg