Interval / Probabilistic Uncertainty and Non-Classical Logics

EISBN：9783540776642

PISBN：9783540776635

出版社：Springer Berlin Heidelberg

出版类型：Monograph

出版时间：2008

作者：Van-Nam Huynh,Yoshiteru Nakamori,Hiroakira Ono,Jonathan Lawry,Vkladik Kreinovich,Hung T. Nguyen

主题词：Appl.Mathematics/Computational Methods of Engineering,Artificial Intelligence (incl. Robotics),Applications of Mathematics,Statistics for Engineering,Physics,Computer Science,Chemistry and Earth Sciences

语种：英语

所属数据库：SpringerLink电子图书

丛书题名：Advances in Soft Computing

1浏览量

问图书管理员

馆际互借

查看订购单位

原文链接

Automated Deduction in Classical and Non-Classical Logics

作者：Ricardo Caferra,Gernot Salzer
EISBN：9783540465089
出版社：Springer Berlin Heidelberg
出版时间：2000

Automated Deduction in Classical and Non-Classical Logics

作者：Ricardo Caferra,Gernot Salzer
EISBN：9783540465089
出版社：Springer Berlin Heidelberg
出版时间：2000

Non-Classical Logics, Model Theory, And Computability

作者：A.I. Arruda,N.C.A. da Costa,R. Chuaqui
PISBN：9780720407525
出版时间：Pre 2007

An Algebraic Approach to Non-Classical Logics

作者：Helena Rasiowa
PISBN：9780720422641
出版时间：Pre 2007

Belief Revision in Non-Classical Logics

作者：Márcio Moretto Ribeiro
EISBN：9781447141860
出版社：Springer London
出版时间：2013

Algebraic and Proof-theoretic Aspects of Non-classical Logics

作者：Stefano Aguzzoli,Agata Ciabattoni,Brunella Gerla,Corrado Manara,Vincenzo Marra
EISBN：9783540759393
出版社：Springer Berlin Heidelberg
出版时间：2007