- 5 resultaten
laagste prijs: € 142,90, hoogste prijs: € 222,27, gemiddelde prijs: € 177,10
1
bestellen
bij booklooker.de
€ 142,90
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Wansing, Heinrich:

Proof Theory of Modal Logic / Heinrich Wansing / Taschenbuch / Applied Logic Series / Paperback / x / Englisch / 2010 / Springer Netherland / EAN 9789048147205 - pocketboek

2010, ISBN: 9789048147205

gebonden uitgave

[ED: Taschenbuch], [PU: Springer Netherland], Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, know… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) MEOVERSA
dichtslaan (X)
2
Proof Theory of Modal Logic (Applied Logic Series, 2, Band 2) - Wansing, Heinrich
bestellen
bij Amazon.de (Intern. Bücher)
€ 147,58
verzending: € 3,001
bestellen
Details aangeboden
Gesponsorde link

Wansing, Heinrich:

Proof Theory of Modal Logic (Applied Logic Series, 2, Band 2) - pocketboek

2013, ISBN: 9789048147205

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 1996, 332 Seiten, Publiziert: 2013-10-04T00:00:01Z, Produktgruppe: Buch, 1.03 kg, Logik, Philosophie, Sozialwissensc… Meer...

Verzendingskosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
dichtslaan (X)
3
Proof Theory of Modal Logic (Applied Logic Series, 2, Band 2) - Wansing, Heinrich
bestellen
bij Amazon.de (Intern. Bücher)
€ 171,72
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Wansing, Heinrich:
Proof Theory of Modal Logic (Applied Logic Series, 2, Band 2) - pocketboek

2013

ISBN: 9789048147205

Springer, Taschenbuch, Auflage: Softcover reprint of hardcover 1st ed. 1996, 332 Seiten, Publiziert: 2013-10-04T00:00:01Z, Produktgruppe: Buch, 1.03 kg, Logik, Philosophie, Sozialwissensc… Meer...

Verzendingskosten:Auf Lager. Lieferung von Amazon. (EUR 0.00) Amazon.de
dichtslaan (X)
4
Proof Theory of Modal Logic - Wansing, Heinrich (Herausgeber)
bestellen
bij Achtung-Buecher.de
€ 173,01
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Wansing, Heinrich (Herausgeber):
Proof Theory of Modal Logic - eerste uitgave

2010, ISBN: 9048147204

pocketboek, gebonden uitgave

Softcover reprint of hardcover 1st edition 1996 Kartoniert / Broschiert Philosophie: Logik, Künstliche Intelligenz, automated deduction; knowledge; knowledge representation; logic; moda… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
dichtslaan (X)
5
Proof Theory of Modal Logic - Heinrich Wansing
bestellen
bij BookDepository.com
€ 221,75
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Heinrich Wansing:
Proof Theory of Modal Logic - pocketboek

ISBN: 9789048147205

Paperback, [PU: Springer], Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, ti… Meer...

Verzendingskosten:Versandkostenfrei. (EUR 0.00)
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Proof Theory of Modal Logic (Applied Logic Series, 2, Band 2)
auteur:
Titel:
ISBN:

9789048147205


Proof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, that is, logics of necessity, possibility, knowledge, belief, time, computations etc. It contains many new technical results and presentations of novel proof procedures. The volume is of immense importance for the interdisciplinary fields of logic, knowledge representation, and automated deduction.

Gedetalleerde informatie over het boek. - Proof Theory of Modal Logic (Applied Logic Series, 2, Band 2)


EAN (ISBN-13): 9789048147205
ISBN (ISBN-10): 9048147204
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
332 Bladzijden
Gewicht: 0,503 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2011-08-20T19:49:42+02:00 (Amsterdam)
Boek voor het laatst gevonden op 2025-12-20T20:30:48+01:00 (Amsterdam)
ISBN/EAN: 9789048147205

ISBN - alternatieve schrijfwijzen:
90-481-4720-4, 978-90-481-4720-5
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: heinrich
Titel van het boek: modal logic, applied proof theory, heinrich springer

Gegevens van de uitgever

Auteur: Heinrich Wansing
Titel: Applied Logic Series; Proof Theory of Modal Logic
Uitgeverij: Springer; Springer Netherland
318 Bladzijden
Verschijningsjaar: 2010-12-09
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
X, 318 p.

BC; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; automated deduction; knowledge; knowledge representation; logic; modal logic; predicate logic; proof; proof theory; sequent calculus; Logic; Artificial Intelligence; Mathematical Logic and Foundations; Künstliche Intelligenz; Mathematik: Logik; Mathematische Grundlagen; BB

I Standard Proof Systems.- A Contraction-free Sequent Calculus for S4.- Transfer of Sequent Calculus Strategies to Resolution for S4.- A Linear Approach to Modal Proof Theory.- Refutations and Proofs in S4.- II Extended Formalisms.- Relational Proof Systems for Modal Logics.- The Display Problem.- Power and Weakness of the Modal Display Calculus.- A Proof-theoretic Proof of Functional Completeness for Many Modal and Tense Logics.- On the Completeness of Classical Modal Display Logic.- Modal Sequents.- Modal Functional Completeness.- A Computational Interpretation of Modal Proofs.- Gabbay-style Calculi.- III Translation-based Proof Systems.- Translating Graded Modalities into Predicate Logics.- From Classical to Normal Modal Logics.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9789401727983 Proof Theory of Modal Logic (Sebastian Urbina)

< naar Archief...