Google圖書搜尋

主題 : Mathematics / Logic總數: gridview

Residuated Lattices: An Algebraic Glimpse at Subst...

作者	Nikolaos Galatos / Peter Jipsen / Tomasz Kowalski / Hiroakira Ono
出版	Elsevier, 2007-04-25
ISBN	9780080489643 / 0080489648
主題	Mathematics

Logics in Artificial Intelligence

作者	Ewa Orlowska
出版	Springer Science & Business Media, 1996-08-28
ISBN	3540616306 / 9783540616306
主題	Computers

Alternative Logics. Do Sciences Need Them?

作者	Paul A. Weingartner
出版	Springer Science & Business Media, 2013-03-09
ISBN	9783662056790 / 3662056798
主題	Computers

Proof Theory for Fuzzy Logics

作者	George Metcalfe / Nicola Olivetti / Dov M. Gabbay
出版	Springer Science & Business Media, 2008-11-27
ISBN	9781402094095 / 1402094094
主題	Mathematics

Arnon Avron on Semantics and Proof Theory of Non-C...

作者	Ofer Arieli / Anna Zamansky
出版	Springer Nature, 2021-07-30
ISBN	9783030712587 / 3030712583
主題	Philosophy

Hiroakira Ono on Substructural Logics

作者	Nikolaos Galatos / Kazushige Terui
出版	Springer Nature, 2021-12-13
ISBN	9783030769208 / 3030769208
主題	Philosophy

Propositional Logics 3rd edition

作者	Richard L Epstein
出版	Advanced Reasoning Forum, 2018-11-05
ISBN	9780983452171 / 0983452172
主題	Philosophy

Logics in Artificial Intelligence

作者	Farinas Luis Del Cerro / Ulrich Furbach
出版	Springer, 2003-05-20
ISBN	9783540495451 / 3540495452
主題	Computers

Leo Esakia on Duality in Modal and Intuitionistic ...

作者	Guram Bezhanishvili
出版	Springer, 2014-06-03
ISBN	9789401788601 / 940178860X
主題	Philosophy

Metainferential Logics

作者	Federico Pailos / Bruno Da Ré
出版	Springer Nature, 2023-12-19
ISBN	9783031443817 / 3031443810
主題	Philosophy

Programming Logics

作者	Andrei Voronkov / Christoph Weidenbach
出版	Springer, 2013-04-05
ISBN	9783642376511 / 3642376517
主題	Mathematics

V.A. Yankov on Non-Classical Logics, History and P...

作者	Alex Citkin / Ioannis M. Vandoulakis
出版	Springer Nature, 2022-11-08
ISBN	9783031068430 / 3031068432
主題	Mathematics

J. Michael Dunn on Information Based Logics

作者	Katalin Bimbo
出版	Springer, 2016-04-02
ISBN	9783319293004 / 3319293001
主題	Philosophy

Substructural Logics: A Primer

作者	F. Paoli
出版	Springer Science & Business Media, 2013-11-27
ISBN	9789401731799 / 9401731799
主題	Philosophy

Logics in Artificial Intelligence

作者	Loizos Michael / Antonis Kakas
出版	Springer, 2016-11-02
ISBN	9783319487588 / 3319487582
主題	Computers

Logics in Artificial Intelligence

作者	Michael Fisher / Wiebe van der Hoek / Boris Konev / Alexei Lisitsa
出版	Springer, 2006-09-14
ISBN	9783540396277 / 3540396276
主題	Computers

Logics in Artificial Intelligence

作者	Eduardo Fermé / Joao Leite
出版	Springer, 2014-09-16
ISBN	9783319115580 / 3319115588
主題	Computers

Logics in Artificial Intelligence

作者	Tomi Janhunen / Ilkka Niemelä
出版	Springer Science & Business Media, 2010-09-01
ISBN	9783642156748 / 3642156746
主題	Computers

Logics in Artificial Intelligence

作者	Sergio Flesca / Giovambattista Ianni
出版	Springer, 2003-08-06
ISBN	9783540457572 / 3540457577
主題	Computers

An Algebraic Approach to Non-Classical Logics

作者	Lev D. Beklemishev
出版	Elsevier, 2000-04-01
ISBN	9780080954882 / 008095488X
主題	Mathematics

Logics in Artificial Intelligence

作者	Manuel Ojeda-Aciego / Inma P. de Guzman / Gerhard Brewka / Luis M. Pereira
出版	Springer, 2003-06-26
ISBN	9783540400066 / 3540400060
主題	Computers

Logics in Artificial Intelligence

作者	Steffen Hölldobler / Carsten Lutz / Heinrich Wansing
出版	Springer, 2008-09-25
ISBN	9783540878032 / 3540878033
主題	Computers

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

Algebraic Perspectives on Substructural Logics

作者	Davide Fazio / Antonio Ledda / Francesco Paoli
出版	Springer Nature, 2020-11-07
ISBN	9783030521639 / 303052163X
主題	Philosophy

Logics in AI

作者	Jan van Eijck
出版	Springer Science & Business Media, 1991-02-26
ISBN	3540536868 / 9783540536864
主題	Computers

Belief Revision in Non-Classical Logics

作者	Márcio Moretto Ribeiro
出版	Springer Science & Business Media, 2012-08-21
ISBN	9781447141860 / 1447141865
主題	Computers

R-Calculus, V: Description Logics

作者	Wei Li / Yuefei Sui
出版	Springer Nature, 2024-01-05
ISBN	9789819964604 / 9819964601
主題	Mathematics

Classical and Nonclassical Logics

作者	Eric Schechter
出版	Princeton University Press, 2005-08-28
ISBN	0691122792 / 9780691122793
主題	Mathematics