Studiebog DRM-beskyttet

Automated Reasoning with Analytic Tableaux and Related Methods

- International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

Forfatter: info mangler

E-bog

Format
E-bog, PDF
Engelsk

Indgår i serie
Lecture Notes in Computer Science

E-bogen er DRM-beskyttet og kræver et særligt læseprogram

Normalpris: kr. 449,95

Medlemspris: kr. 399,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: Straks (sendes på e-mail)
Split betalingen op med

Beskrivelse

This book constitutes the refereed proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003, held in Rome, Italy in September 2003.The 20 revised full papers presented were carefully reviewed and selected for inclusion in the book. All current issues surrounding the mechanization of logical reasoning with tableaux and similar methods are addressed in the context of a broad variety of logic calculi.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Udgivelsesdato24-10-2003
ISBN139783540452065
Forlag Springer Berlin Heidelberg
FormatPDF

Automated Reasoning with Analytic Tableaux and Related Methods

- International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings

Findes i disse kategorier...

Se andre, der handler om...