登入選單
Google圖書搜尋
主題 : MATHEMATICS / Logic總數: gridview
Substructural Logics: A Primer
作者
F. Paoli
出版Springer Science & Business Media, 2013-11-27
ISBN
9789401731799 / 9401731799
主題
Philosophy
Many-valued Semantics and Modal Logics: Essays in ...
作者
Marcelo Esteban Coniglio / Ekaterina Kubyshkina / Dmitry Zaitsev
出版Springer Nature, 2024-06-05
ISBN
9783031565953 / 3031565959
主題
Philosophy
Logics in Artificial Intelligence
作者
Jose Julio Alferes
出版Springer Science & Business Media, 2004-09-24
ISBN
9783540232421 / 3540232427
主題
Computers
Logics in Artificial Intelligence
作者
Manuel Ojeda-Aciego / Inma P. de Guzman / Gerhard Brewka / Luis M. Pereira
出版Springer, 2003-06-26
ISBN
9783540400066 / 3540400060
主題
Computers
Proof Theory for Fuzzy Logics
作者
George Metcalfe / Nicola Olivetti / Dov M. Gabbay
出版Springer Science & Business Media, 2008-11-27
ISBN
9781402094095 / 1402094094
主題
Mathematics
J. Michael Dunn on Information Based Logics
作者
Katalin Bimbo
出版Springer, 2016-04-02
ISBN
9783319293004 / 3319293001
主題
Philosophy
Residuated Lattices: An Algebraic Glimpse at Subst...
作者
Nikolaos Galatos / Peter Jipsen / Tomasz Kowalski / Hiroakira Ono
出版Elsevier, 2007-04-25
ISBN
9780080489643 / 0080489648
主題
Mathematics
Arnon Avron on Semantics and Proof Theory of Non-C...
作者
Ofer Arieli / Anna Zamansky
出版Springer Nature, 2021-07-30
ISBN
9783030712587 / 3030712583
主題
Philosophy
Logics in Artificial Intelligence
作者
Steffen Hölldobler / Carsten Lutz / Heinrich Wansing
出版Springer, 2008-09-25
ISBN
9783540878032 / 3540878033
主題
Computers
Formal Methods in Software and Systems Modeling
作者
Hans-Jörg Kreowski / Ugo Montanari / Fernando Orejas / Grzegorz Rozenberg / Gabriele Taentzer
出版Springer Science & Business Media, 2005-02-09
ISBN
9783540249368 / 3540249362
主題
Mathematics
Logics in Artificial Intelligence
作者
Luis Fariñas del Cerro / Andreas Herzig / Jérôme Mengin
出版Springer, 2012-09-07
ISBN
9783642333538 / 3642333532
主題
Computers
A General Algebraic Semantics for Sentential Logic...
作者
Josep Maria Font / Ramon Jansana
出版Cambridge University Press, 2017-03-02
ISBN
9781107167971 / 1107167973
主題
Mathematics
Model-Theoretic Logics
作者
J. Barwise / Solomon Feferman / S. Feferman
出版Cambridge University Press, 2017-03-02
ISBN
9781107168251 / 1107168252
主題
Mathematics
Dick de Jongh on Intuitionistic and Provability Lo...
作者
Nick Bezhanishvili / Rosalie Iemhoff / Fan Yang
出版Springer Nature, 2024-07-25
ISBN
9783031479212 / 3031479211
主題
Philosophy
Logics in Artificial Intelligence
作者
Farinas Luis Del Cerro / Ulrich Furbach
出版Springer, 2003-05-20
ISBN
9783540495451 / 3540495452
主題
Computers
Programming Logics
作者
Andrei Voronkov / Christoph Weidenbach
出版Springer, 2013-04-05
ISBN
9783642376511 / 3642376517
主題
Mathematics
Logics in AI
作者
Jan van Eijck
出版Springer Science & Business Media, 1991-02-26
ISBN
3540536868 / 9783540536864
主題
Computers
Logics in Artificial Intelligence
作者
Loizos Michael / Antonis Kakas
出版Springer, 2016-11-02
ISBN
9783319487588 / 3319487582
主題
Computers
Hiroakira Ono on Substructural Logics
作者
Nikolaos Galatos / Kazushige Terui
出版Springer Nature, 2021-12-13
ISBN
9783030769208 / 3030769208
主題
Philosophy
Alternative Logics. Do Sciences Need Them?
作者
Paul A. Weingartner
出版Springer Science & Business Media, 2013-03-09
ISBN
9783662056790 / 3662056798
主題
Technology & Engineering
Models, Logics, and Higher-dimensional Categories
作者
Bradd T. Hart
出版American Mathematical Soc.
ISBN
9780821883822 / 0821883828
主題
Mathematics
Logics in Artificial Intelligence
作者
Eduardo Fermé / Joao Leite
出版Springer, 2014-09-16
ISBN
9783319115580 / 3319115588
主題
Computers
The Realism-Antirealism Debate in the Age of Alter...
作者
Shahid Rahman / Giuseppe Primiero / Mathieu Marion
出版Springer Science & Business Media, 2011-09-22
ISBN
9789400719231 / 940071923X
主題
Philosophy
Non-Classical Logics and their Applications to Fuz...
作者
Ulrich Höhle / Erich Peter Klement
出版Springer Science & Business Media, 2012-12-06
ISBN
9789401102155 / 9401102155
主題
Mathematics
Metainferential Logics
作者
Federico Pailos / Bruno Da Ré
出版Springer Nature, 2023-11-17
ISBN
9783031443817 / 3031443810
主題
Philosophy
Belief Revision in Non-Classical Logics
作者
Márcio Moretto Ribeiro
出版Springer Science & Business Media, 2012-08-21
ISBN
9781447141860 / 1447141865
主題
Computers
Logics in Artificial Intelligence
作者
Michael Fisher / Wiebe van der Hoek / Boris Konev / Alexei Lisitsa
出版Springer Science & Business Media, 2006-09-13
ISBN
9783540396253 / 354039625X
主題
Computers
Logics in Artificial Intelligence
作者
Tomi Janhunen / Ilkka Niemelä
出版Springer, 2010-09-13
ISBN
9783642156755 / 3642156754
主題
Computers
Description Logics in Multimedia Reasoning
作者
Leslie F. Sikos
出版Springer, 2017-06-28
ISBN
9783319540665 / 3319540661
主題
Computers
R-Calculus, V: Description Logics
作者
Wei Li / Yuefei Sui
出版Springer Nature, 2024-01-05
ISBN
9789819964604 / 9819964601
主題
Computers