Olivetti n (10 Ergebnisse)

Zustand: NEW. Olivetti, Ariel (illustrator).

broché. Zustand: très bon. catalogue d'une exposition tenue au Grand Palais en 1990 310p+[1]f Cet ouvrage est disponible à la librairie. Merci de me contacter avant de vous déplacer 06 51 13 88 91. This book is available at the antiquarian bookstore.

Zustand: very good. BROCHE BON ETAT PLIS LEGERS SUR DOS.

Zustand: Bon. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme.

Zustand: New. In English.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective. Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory.…

Gebunden. Zustand: New. Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed pro.

Buch. Zustand: Neu. Neuware - Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an introduction to these logical systems form a procedural perspective. Readership: Computer scientists, mathematicians and philosophers, and anyone interested in the automation of reasoning based on non-classical logics. The book is suitable for self study, its only prerequisite being some elementary knowledge of logic and proof theory.…

First Edition. Tidy copy in tight binding; burgundy/brown faux leather with pictorial onlay on front board and white titles on spine; burgundy ribbon page markers. Diary not written in; contains 12 ilustrations by Flavio Constantini. Used - Very Good. VG hardback diary Used - Very Good. VG hardback diary.…