Catalog

Record Details

Catalog Search


Back To Results
Showing Item 7 of 67

Proof Theory for Fuzzy Logics Cover Image E-book E-book

Proof Theory for Fuzzy Logics

Metcalfe, George. (author.). Olivetti, Nicola. (author.). Gabbay, Dov. (author.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9781402094095
  • Physical Description: electronic
    electronic resource
    access
    remote
    online resource.
  • Publisher: Dordrecht : Springer Netherlands, 2009.
Subject: Mathematics
Logic
Artificial intelligence
Algebra
Logic, Symbolic and mathematical
Mathematics
Mathematical Logic and Foundations
Artificial Intelligence (incl. Robotics)
Logic
Order, Lattices, Ordered Algebraic Structures

Electronic resources


LDR 01715nam a22004815i 4500
00114031
003CONS
00520131217145239.0
007cr nn 008mamaa
008100301s2009 ne | s |||| 0|eng d
020 . ‡a9781402094095 ‡9978-1-4020-9409-5
0247 . ‡a10.1007/978-1-4020-9409-5 ‡2doi
035 . ‡a(DE-He213)978-1-4020-9409-5
050 4. ‡aQA8.9-10.3
072 7. ‡aPBC ‡2bicssc
072 7. ‡aPBCD ‡2bicssc
072 7. ‡aMAT018000 ‡2bisacsh
1001 . ‡aMetcalfe, George. ‡eauthor.
24510. ‡aProof Theory for Fuzzy Logics ‡h[electronic resource] / ‡cby George Metcalfe, Nicola Olivetti, Dov Gabbay.
264 1. ‡aDordrecht : ‡bSpringer Netherlands, ‡c2009.
300 . ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aApplied Logic Series, ‡x1386-2790 ; ‡v36
650 0. ‡aMathematics.
650 0. ‡aLogic.
650 0. ‡aArtificial intelligence.
650 0. ‡aAlgebra.
650 0. ‡aLogic, Symbolic and mathematical.
65014. ‡aMathematics.
65024. ‡aMathematical Logic and Foundations.
65024. ‡aArtificial Intelligence (incl. Robotics).
65024. ‡aLogic.
65024. ‡aOrder, Lattices, Ordered Algebraic Structures.
7001 . ‡aOlivetti, Nicola. ‡eauthor.
7001 . ‡aGabbay, Dov. ‡eauthor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9781402094088
830 0. ‡aApplied Logic Series, ‡x1386-2790 ; ‡v36
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-1-4020-9409-5 ‡yTexto completo ‡9CONS
950 . ‡aMathematics and Statistics (Springer-11649)
901 . ‡a14031 ‡b ‡c14031 ‡tbiblio ‡sSystem Local
Back To Results
Showing Item 7 of 67

Additional Resources