- 5 resultaten
laagste prijs: € 222,50, hoogste prijs: € 368,98, gemiddelde prijs: € 270,33
1
Natural Deduction, Hybrid Systems and Modal Logics Andrzej Indrzejczak Author
bestellen
bij BarnesandNoble.com
€ 279,99
bestellen
Details en verzending
Gesponsorde link

Natural Deduction, Hybrid Systems and Modal Logics Andrzej Indrzejczak Author - nieuw boek

ISBN: 9789400732438

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and sys… Meer...

new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
dichtslaan (X)
2
Natural Deduction, Hybrid Systems and Modal Logics - Indrzejczak, Andrzej
bestellen
bij Achtung-Buecher.de
€ 244,69
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link

Indrzejczak, Andrzej:

Natural Deduction, Hybrid Systems and Modal Logics - nieuw boek

2012, ISBN: 9400732430

2010 Kartoniert / Broschiert Mathematische Grundlagen, Philosophie: Logik, Algorithmen und Datenstrukturen, Theoretische Informatik, Künstliche Intelligenz, classicallogic; frames; Hybr… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
dichtslaan (X)
3
Natural Deduction, Hybrid Systems and Modal Logics - Andrzej Indrzejczak
bestellen
bij BookDepository.com
€ 222,50
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Andrzej Indrzejczak:
Natural Deduction, Hybrid Systems and Modal Logics - pocketboek

ISBN: 9789400732438

Paperback, [PU: Springer], Here is an extensive treatment of Natural Deduction and related proof systems, focused on practical aspects of proof methods. Necessary background material is p… Meer...

Verzendingskosten:Versandkostenfrei. (EUR 0.00)
dichtslaan (X)
4
Natural Deduction Hybrid Systems and Modal Logics
bestellen
bij eBook.de
€ 235,49
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Natural Deduction Hybrid Systems and Modal Logics - nieuw boek

2010, ISBN: 9400732430

Natural Deduction Hybrid Systems and Modal Logics ab 235.49 EURO Auflage 2010 Medien > Bücher

Nr. 19264873. Verzendingskosten:, , DE. (EUR 0.00)
dichtslaan (X)
5
Natural Deduction, Hybrid Systems and Modal Logics - Andrzej Indrzejczak
bestellen
bij Rakuten.fr
€ 368,98
verzending: € 11,001
bestellen
Details aangeboden
Gesponsorde link
Andrzej Indrzejczak:
Natural Deduction, Hybrid Systems and Modal Logics - gebruikt boek

ISBN: 9789400732438

Livre

1 Offers. Verzendingskosten:France. (EUR 11.00) Priceminister
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
Natural Deduction, Hybrid Systems and Modal Logics Andrzej Indrzejczak Author
auteur:
Titel:
ISBN:

9400732430

Gedetalleerde informatie over het boek. - Natural Deduction, Hybrid Systems and Modal Logics Andrzej Indrzejczak Author


EAN (ISBN-13): 9789400732438
ISBN (ISBN-10): 9400732430
pocket book
Verschijningsjaar: 2012
Uitgever: Springer Netherlands Core >1

Boek bevindt zich in het datenbestand sinds 2014-05-11T08:30:14+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-08-11T16:38:07+02:00 (Amsterdam)
ISBN/EAN: 9400732430

ISBN - alternatieve schrijfwijzen:
94-007-3243-0, 978-94-007-3243-8
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: indr
Titel van het boek: natura, what logics mean, modal logic, hybrid, natural systems

Gegevens van de uitgever

Auteur: Andrzej Indrzejczak
Titel: Trends in Logic; Natural Deduction, Hybrid Systems and Modal Logics
Uitgeverij: Springer; Springer Netherland
492 Bladzijden
Verschijningsjaar: 2012-09-05
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
246,09 € (DE)
252,99 € (AT)
271,50 CHF (CH)
POD
XIV, 492 p.

BC; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; Classical logic; Frames; Hybrid logics; Hybrid systems; Natural deduction; Proof theory; Racter; Resolution; Temporal logics; logic; modal logic; proving; Logic; Theory of Computation; Artificial Intelligence; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Algorithms; Theoretische Informatik; Künstliche Intelligenz; Mathematik: Logik; Mathematische Grundlagen; Algorithmen und Datenstrukturen; BB; EA

Preliminaries.- Standard Natural Deduction.- Other Deductive Systems.- Extended Natural Deduction.- Survey of Modal Logics.- Standard Approach to Basic Modal Logics.- Beyond Basic Logics and Standard Systems.- Labelled Systems in Modal Logics.- Logics of Linear Frames.- Analytic Labelled ND and Proof Search.- Modal Hybrid Logics.- Proof Methods for MHL.
The first to show that the scope of application of Natural Deduction systems is far beyond the one usually considered The first comprehensive presentation of hybrid deductive systems mixing Natural Deduction with Resolution The first to label Natural Deduction systems for a wide spectrum of Temporal Logics Provides a detailed presentation of problems connected with the formalization of Logics of linear time Gives a detailed exposition of deductive systems for Hybrid Logics

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

Laatste soortgelijke boek:
9789048187973 Natural Deduction, Hybrid Systems and Modal Logics (Indrzejczak, Andrzej)

< naar Archief...