ISBN: 9783662084946
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed b… Altro …
Springer.com new in stock. Costi di spedizione:plus shipping costs., Costi di spedizione aggiuntivi Details... |
ISBN: 9783662084946
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed b… Altro …
Springer.com Nr. 978-3-662-08494-6. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00) Details... |
ISBN: 9783662084946
Many-valued logics were developed as an attempt to handlephilosophical doubts about the "law of excluded middle" inclassical logic. The first many-valued formal systems weredeveloped by J… Altro …
ebooks.com new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
ISBN: 9783662084946
Mathematics; Mathematical Logic and Foundations; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages Approximation Logic, In… Altro …
Springer.com Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
2013, ISBN: 9783662084946
Theoretical Foundations, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2013
lehmanns.de Costi di spedizione:Download sofort lieferbar. (EUR 0.00) Details... |
ISBN: 9783662084946
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed b… Altro …
ISBN: 9783662084946
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed b… Altro …
ISBN: 9783662084946
Many-valued logics were developed as an attempt to handlephilosophical doubts about the "law of excluded middle" inclassical logic. The first many-valued formal systems weredeveloped by J… Altro …
ISBN: 9783662084946
Mathematics; Mathematical Logic and Foundations; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages Approximation Logic, In… Altro …
2013, ISBN: 9783662084946
Theoretical Foundations, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2013
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Many-Valued Logics 1
EAN (ISBN-13): 9783662084946
Anno di pubblicazione: 2013
Editore: Springer Berlin Heidelberg
Libro nella banca dati dal 2017-04-25T07:47:18+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2023-09-04T19:53:02+02:00 (Rome)
ISBN/EAN: 9783662084946
ISBN - Stili di scrittura alternativi:
978-3-662-08494-6
Dati dell'editore
Autore: Leonard Bolc; Piotr Borowik
Titolo: Many-Valued Logics 1 - Theoretical Foundations
Editore: Springer; Springer Berlin
288 Pagine
Anno di pubblicazione: 2013-03-09
Berlin; Heidelberg; DE
Lingua: Inglese
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
XII, 288 p.
EA; E107; eBook; Nonbooks, PBS / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Approximation Logic; Intuitionistic Logic; Many-valued Logic; Philosophical Logic; Probability Logic; fuzzy logic; logic; propositional calculus; C; Mathematical Logic and Foundations; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Formal Languages and Automata Theory; Mathematics and Statistics; Mathematische Grundlagen; Theoretische Informatik; Künstliche Intelligenz; BB
1 Preliminaries.- 2 Many-Valued Propositional Calculi.- 3 Survey of Three-Valued Propositional Calculi.- 4 Some n-valued Propositional Calculi: A Selection.- 5 Intuitionistic Propositional Calculus.- 6 First-Order Predicate Calculus for Many-Valued Logics.- 7 The Method of Finitely Generated Trees in n-valued Logical Calculi.- 8 Fuzzy Propositional Calculi.- 9 Approximation Logics.- 10 Probability Logics.- References.- Index of Symbols.- Author Index.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783642081453 Many-Valued Logics 1 (Piotr Borowik)
< Per archiviare...