城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(著者名に左の語を含む: #Mundici Daniele)
該当件数:6件
Logica: Metodo Breve / by Daniele Mundici
1st ed. 2011.. - (Milano : Springer Milan : Imprint: Springer , 2011). - (La Matematica per il 3+2. ISSN:20385757 ; 50)
電子ブック
Logic: a Brief Course / by Daniele Mundici
1st ed. 2012.. - (Milano : Springer Milan : Imprint: Springer , 2012). - (La Matematica per il 3+2. ISSN:20385757)
Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici
1st ed. 1993.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1993). - (Lecture Notes in Computer Science. ISSN:16113349 ; 713)
Algebraic Foundations of Many-Valued Reasoning / by R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici
1st ed. 2000.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2000). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 7)
Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds.
713. - Berlin : Springer , c1993.. - (Lecture notes in computer science ; 713)
図書
Theorem Proving with Analytic Tableaux and Related Methods : 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings / edited by Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi
1st ed. 1996.. - (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1996). - (Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 1071)