Automated Deduction in Classical and Non-Classical Logics: Selected Papers - Lecture Notes in Computer Science - R Caferra - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540671909 - 9 februari 2000
Om omslag och titel inte matchar är det titeln som gäller

R Caferra
Automated Deduction in Classical and Non-Classical Logics: Selected Papers - Lecture Notes in Computer Science 2000 edition

Pris
SEK 569

Beställningsvara

Förväntad leverans 4 - 12 nov
Julklappar kan bytas fram till 31:e januari
Få avisering om nya utgåvor med R Caferra

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

This title presents papers reflecting the status of research in automated deduction in classical and non-classical logics. Most of the results presented rely on resolution or tableaux methods with a few exceptions choosing the equational paradigm.

304 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 9 februari 2000
ISBN13 9783540671909
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 304
Mått 155 × 235 × 16 mm   ·   439 g
Språk Franska  
Redaktör Caferra, Ricardo
Redaktör Salzer, Gernot

Mer från samma **utgivare**

Se alt med R Caferra