SULJE VALIKKO

avaa valikko

Dov M. Gabbay | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 138 tuotetta
Haluatko tarkentaa hakukriteerejä?



Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning
Dov M. Gabbay; C. J. Hogger; J. A. Robinson
Oxford University Press (1994)
Kovakantinen kirja
437,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications - Volume 8, Issue 6, July 2021. Special Issue o
Dov M Gabbay (toim.); Massimiliano Giacomin (toim.); Guillermo R Simari (toim.)
College Publications (2021)
Pehmeäkantinen kirja
43,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Functional Interpretation Of Logical Deduction, The
Anjolina G De Oliveira; Dov M Gabbay; Ruy J G B De Queiroz
World Scientific Publishing Co Pte Ltd (2011)
Kovakantinen kirja
122,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic Colloquium `92
Lazlo Csirmaz; Dov M. Gabbay; Maarten De Rijke
Center for the Study of Language and Information (1995)
Kovakantinen kirja
72,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic Colloquium `92
Lazlo Csirmaz; Dov M. Gabbay; Maarten De Rijke
Center for the Study of Language and Information (1995)
Pehmeäkantinen kirja
34,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations
Dov M. Gabbay; C. J. Hogger; J. A. Robinson
Oxford University Press (1993)
Kovakantinen kirja
397,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Fibring Logics
Dov M. Gabbay
Oxford University Press (1998)
Kovakantinen kirja
124,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies
Dov M. Gabbay; C. J. Hogger; J. A. Robinson
Oxford University Press (1994)
Kovakantinen kirja
397,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Temporal Logic: Volume 2
Dov M Gabbay; M. Finger; M. Reynolds
Oxford University Press (2000)
Kovakantinen kirja
297,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Labelled Deductive Systems - Volume 1
Dov M. Gabbay
Oxford University Press (1996)
Kovakantinen kirja
133,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming
Dov M. Gabbay; C.J. Hogger; J. A. Robinson
Oxford University Press (1998)
Kovakantinen kirja
437,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Interpolation and Definability - Modal and Intuitionistic Logics
Dov M. Gabbay; Larisa Maksimova
Oxford University Press (2005)
Kovakantinen kirja
188,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Philosophy of Mathematics
Dov M. Gabbay (toim.); Paul Thagard (toim.); John Woods (toim.)
Elsevier Science & Technology (2009)
Kovakantinen kirja
158,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Philosophical Logic
Dov M. Gabbay; Franz Guenthner
Springer (2001)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Philosophical Logic
Dov M. Gabbay (ed.); Franz Guenthner (ed.)
Springer (2002)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Philosophical Logic
Dov M. Gabbay (ed.); Franz Guenthner (ed.)
Springer (2002)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Philosophical Logic
Dov M. Gabbay (ed.); Franz Guenthner (ed.)
Springer (2002)
Kovakantinen kirja
155,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Philosophical Logic
Dov M. Gabbay; Franz Guenthner
Springer (2001)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Philosophical Logic
Dov M. Gabbay (ed.); Franz Guenthner (ed.)
Springer (2002)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Tableau Methods
M. D'Agostino; Dov M. Gabbay; Reiner Hähnle; J. Posegga
Springer (1999)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning
437,10 €
Oxford University Press
Sivumäärä: 548 sivua
Asu: Kovakantinen kirja
Painos: Hardback
Julkaisuvuosi: 1994, 17.03.1994 (lisätietoa)
Kieli: Englanti
Tuotesarja: Handbook of Logic in Artificial Intelligence and Logic Programming
Logic is now widely recognized to be one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intelligence. There is a growing need for an in-depth survey of the applications in logic in A1 and computer science. The Handbook of Logic in Ariticial Intelligence and Logic Programming and its companion, the Handbook of Logic in Computer Science, have been created in response to this need. We see the creation of the Handbook as a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in the various areas. The intended audience is graduate students and researchers in the areas of A1 and logic, as well as other people interested in the subject. We assume as background some mathematical sophistication. Much of the material will be of interest to logicians and mathematicians. The tables of contents of the volumes were finalized after extensive discussions between handbook authors and second readers. The first volumes present the logical foundations and deduction methodologies extensively used in A1. Volumes 3 and 4 cover reasoning, and Volume 5 details logic programming. The chapters which in many cases are of monograph length and scope, emphasize possible unifying themes. They are written by internationally renowned researchers in the respective areas. The chapters are co-ordinated and their contents have been reviewed in joint meetings.

Editorial coordination by: D. Nute

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. . Tilaa tuote jouluksi viimeistään 27.11.2024. Tuote ei välttämättä ehdi jouluksi.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoningzoom
Näytä kaikki tuotetiedot
ISBN:
9780198537472
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste