Proof Theory and Automated Deduction - Applied Logic Series - Jean Goubault-Larrecq - Books - Kluwer Academic Publishers - 9781402003684 - November 30, 2001
In case cover and title do not match, the title is correct

Jean Goubault-Larrecq
Proof Theory and Automated Deduction - Applied Logic Series Softcover reprint of the original 1st ed. 1997 edition

Price
Íkr 6,909
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 21 - 29
Get notified about new Jean Goubault-Larrecq releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto­ mated deduction for the logic and its fragments is as important as the logic itself.

444 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 30, 2001
ISBN13 9781402003684
Publishers Kluwer Academic Publishers
Pages 444
Dimensions 155 × 235 × 22 mm   ·   1.37 kg
Language English  

Mere med samme udgiver

See all of Jean Goubault-Larrecq ( e.g. Paperback Book and Hardcover Book )