Sign-In
CartResults
Filters
Sort by
$307.99
{"Id":14716015,"Title":"Rigid Flexibility: The Logic of Intelligence","Authors":["Wang, Pei"],"ShortTitle":"Rigid Flexibility: The Logic of Intelligence","Author":"Wang, Pei","Ean":"9781402050442","Isbn":"1402050445","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3196087],"CategoryIds":[173,877,1027],"FormatId":1,"FamilyId":12637779,"SeriesId":71175,"LanguageId":56,"PriceMin":307.99,"PriceMax":307.99,"Desirability":3,"PublicationDate":"2006-08-23T00:00:00","Join":null}
$76.99
{"Id":14712534,"Title":"Proof Theory and Automated Deduction","Authors":["Goubault-Larrecq, Jean","MacKie, I."],"ShortTitle":"Proof Theory and Automated Deduction","Author":"Goubault-Larrecq, Jean","Ean":"9781402003684","Isbn":"1402003684","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1601389,1601393],"CategoryIds":[151,877,1027],"FormatId":2,"FamilyId":null,"SeriesId":71175,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":2,"PublicationDate":"2001-11-30T00:00:00","Join":null}
Logical and Computational Aspects of Model-Based Reasoning
Nersessian, N. J.
Pizzi, Claudio
Magnani, L.
Hardcover
$153.99
{"Id":14713861,"Title":"Logical and Computational Aspects of Model-Based Reasoning","Authors":["Nersessian, N. J.","Pizzi, Claudio","Magnani, L."],"ShortTitle":"Logical and Computational Aspects of Model-Based Reasoning","Author":"Nersessian, N. J.","Ean":"9781402007125","Isbn":"1402007124","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[872026,3191346,872022],"CategoryIds":[489,915,962],"FormatId":1,"FamilyId":7559481,"SeriesId":71175,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":2,"PublicationDate":"2002-09-30T00:00:00","Join":null}
$109.99
{"Id":4122530,"Title":"Multi-Dimensional Modal Logic","Authors":["Marx, Maarten","Venema, Yde"],"ShortTitle":"Multi-Dimensional Modal Logic","Author":"Marx, Maarten","Ean":"9780792343455","Isbn":"079234345X","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1600228,1600231],"CategoryIds":[151,594,1027],"FormatId":1,"FamilyId":7838432,"SeriesId":71175,"LanguageId":56,"PriceMin":109.99,"PriceMax":109.99,"Desirability":1,"PublicationDate":"1996-11-30T00:00:00","Join":null}
$153.99
{"Id":4122863,"Title":"Logic, Language and Computation","Authors":["Akama, S."],"ShortTitle":"Logic, Language and Computation","Author":"Akama, S.","Ean":"9780792343769","Isbn":"079234376X","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1600381],"CategoryIds":[173,594,1027],"FormatId":1,"FamilyId":11668553,"SeriesId":71175,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":1,"PublicationDate":"1997-01-31T00:00:00","Join":null}
$138.60
{"Id":4122880,"Title":"Iutam Symposium on Nonlinear Analysis of Fracture","Authors":["Willis, J. R.","Willis, J. R."],"ShortTitle":"Iutam Symposium on Nonlinear Analysis of Fracture","Author":"Willis, J. R.","Ean":"9780792343783","Isbn":"0792343786","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[449450,449450],"CategoryIds":[617,898,1098],"FormatId":1,"FamilyId":11895036,"SeriesId":71175,"LanguageId":56,"PriceMin":138.6,"PriceMax":138.6,"Desirability":1,"PublicationDate":"1997-02-28T00:00:00","Join":null}
$237.99
{"Id":4123069,"Title":"A Textbook of Belief Dynamics: Theory Change and Database Updating","Authors":["Hansson, Sven Ove"],"ShortTitle":"Textbook of Belief Dynamics: Theory Change and Database Updating","Author":"Hansson, Sven Ove","Ean":"9780792353249","Isbn":"0792353242","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[586902],"CategoryIds":[877,1213],"FormatId":1,"FamilyId":7783522,"SeriesId":71175,"LanguageId":56,"PriceMin":237.99,"PriceMax":237.99,"Desirability":1,"PublicationDate":"1999-03-31T00:00:00","Join":null}
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
Bibel, Wolfgang
Schmitt, P. H.
Hardcover
$219.99
{"Id":4123169,"Title":"Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A","Authors":["Bibel, Wolfgang","Schmitt, P. H."],"ShortTitle":"Automated Deduction - A Basis for Applications Volume I Foundations -\u2026","Author":"Bibel, Wolfgang","Ean":"9780792351290","Isbn":"0792351290","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1603786,1603790],"CategoryIds":[877,1027,1125],"FormatId":1,"FamilyId":5633250,"SeriesId":71175,"LanguageId":56,"PriceMin":219.99,"PriceMax":219.99,"Desirability":1,"PublicationDate":"1998-06-30T00:00:00","Join":null}
$153.99
{"Id":4123948,"Title":"Goal-Directed Proof Theory","Authors":["Olivetti, N.","Gabbay, Dov M."],"ShortTitle":"Goal-Directed Proof Theory","Author":"Olivetti, N.","Ean":"9780792364733","Isbn":"0792364732","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1607187,12209051],"CategoryIds":[151,898,1125],"FormatId":1,"FamilyId":7584618,"SeriesId":71175,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":1,"PublicationDate":"2000-08-31T00:00:00","Join":null}
Fuzzy Sets, Logics and Reasoning about Knowledge
DuBois, Didier
Prade, Henri
Klement, Erich Peter
Hardcover
$237.99
{"Id":4124139,"Title":"Fuzzy Sets, Logics and Reasoning about Knowledge","Authors":["DuBois, Didier","Prade, Henri","Klement, Erich Peter"],"ShortTitle":"Fuzzy Sets, Logics and Reasoning about Knowledge","Author":"DuBois, Didier","Ean":"9780792359777","Isbn":"0792359771","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[871116,1604423,1134652],"CategoryIds":[686,877,1027],"FormatId":1,"FamilyId":8058876,"SeriesId":71175,"LanguageId":56,"PriceMin":237.99,"PriceMax":237.99,"Desirability":1,"PublicationDate":"1999-09-30T00:00:00","Join":null}
$237.99
{"Id":4125144,"Title":"Frontiers in Belief Revision","Authors":["Williams, M.","Rott, Hans"],"ShortTitle":"Frontiers in Belief Revision","Author":"Williams, M.","Ean":"9780792370215","Isbn":"079237021X","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[740829,658357],"CategoryIds":[173,877,1027],"FormatId":1,"FamilyId":8058933,"SeriesId":71175,"LanguageId":56,"PriceMin":237.99,"PriceMax":237.99,"Desirability":1,"PublicationDate":"2001-06-30T00:00:00","Join":null}
$169.99
{"Id":14712339,"Title":"Foundations of Bayesianism","Authors":["Corfield, D.","Williamson, J."],"ShortTitle":"Foundations of Bayesianism","Author":"Corfield, D.","Ean":"9781402002236","Isbn":"1402002238","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3192249,2172703],"CategoryIds":[1124],"FormatId":1,"FamilyId":7782722,"SeriesId":71175,"LanguageId":56,"PriceMin":169.99,"PriceMax":169.99,"Desirability":1,"PublicationDate":"2001-12-31T00:00:00","Join":null}
$76.99
{"Id":14714339,"Title":"Reasoning Robots: The Art and Science of Programming Robotic Agents","Authors":["Thielscher, Michael"],"ShortTitle":"Reasoning Robots: The Art and Science of Programming Robotic Agents","Author":"Thielscher, Michael","Ean":"9781402030680","Isbn":"1402030681","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3195272],"CategoryIds":[617,877,1125],"FormatId":1,"FamilyId":887002,"SeriesId":71175,"LanguageId":56,"PriceMin":76.99,"PriceMax":76.99,"Desirability":1,"PublicationDate":"2005-07-05T00:00:00","Join":null}
$153.99
{"Id":14714607,"Title":"Thirty Five Years of Automating Mathematics","Authors":["Kamareddine, F. D."],"ShortTitle":"Thirty Five Years of Automating Mathematics","Author":"Kamareddine, F. D.","Ean":"9781402016561","Isbn":"1402016565","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3190956],"CategoryIds":[151,877,898],"FormatId":1,"FamilyId":11682396,"SeriesId":71175,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":1,"PublicationDate":"2003-11-30T00:00:00","Join":null}
Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition
Leitgeb, Hannes
Hardcover
$169.99
{"Id":14714689,"Title":"Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition","Authors":["Leitgeb, Hannes"],"ShortTitle":"Inference on the Low Level: An Investigation Into Deduction, Nonmonotonic\u2026","Author":"Leitgeb, Hannes","Ean":"9781402024924","Isbn":"1402024924","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[662137],"CategoryIds":[173,877,1027],"FormatId":1,"FamilyId":894447,"SeriesId":71175,"LanguageId":56,"PriceMin":169.99,"PriceMax":169.99,"Desirability":1,"PublicationDate":"2004-08-13T00:00:00","Join":null}
A Modern Perspective on Type Theory: From Its Origins Until Today
Laan, T.
Nederpelt, Rob
Kamareddine, F. D.
Hardcover
$199.99
{"Id":14715019,"Title":"A Modern Perspective on Type Theory: From Its Origins Until Today","Authors":["Laan, T.","Nederpelt, Rob","Kamareddine, F. D."],"ShortTitle":"Modern Perspective on Type Theory: From Its Origins Until Today","Author":"Laan, T.","Ean":"9781402023347","Isbn":"1402023340","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3193349,2102313,3190956],"CategoryIds":[151,877,1027],"FormatId":1,"FamilyId":1407938,"SeriesId":71175,"LanguageId":56,"PriceMin":199.99,"PriceMax":199.99,"Desirability":1,"PublicationDate":"2004-06-09T00:00:00","Join":null}
$237.99
{"Id":14715234,"Title":"The Death of Argument: Fallacies in Agent Based Reasoning","Authors":["Woods, J. H."],"ShortTitle":"Death of Argument: Fallacies in Agent Based Reasoning","Author":"Woods, J. H.","Ean":"9781402026638","Isbn":"1402026633","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[3194021],"CategoryIds":[594,915,1027],"FormatId":1,"FamilyId":5632738,"SeriesId":71175,"LanguageId":56,"PriceMin":237.99,"PriceMax":237.99,"Desirability":1,"PublicationDate":"2004-11-03T00:00:00","Join":null}
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
Coniglio, Marcelo
Gabbay, Dov M.
Carnielli, Walter
Hardcover
$237.99
{"Id":14716882,"Title":"Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems","Authors":["Coniglio, Marcelo","Gabbay, Dov M.","Carnielli, Walter"],"ShortTitle":"Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems","Author":"Coniglio, Marcelo","Ean":"9781402067815","Isbn":"140206781X","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2201035,12209051,12669947],"CategoryIds":[151,877,1027],"FormatId":1,"FamilyId":1887375,"SeriesId":71175,"LanguageId":56,"PriceMin":237.99,"PriceMax":237.99,"Desirability":1,"PublicationDate":"2008-02-04T00:00:00","Join":null}
$129.99
{"Id":14718833,"Title":"Proof Theory for Fuzzy Logics","Authors":["Metcalfe, George","Olivetti, Nicola","Gabbay, Dov M."],"ShortTitle":"Proof Theory for Fuzzy Logics","Author":"Metcalfe, George","Ean":"9781402094088","Isbn":"1402094086","Publisher":"Springer","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[2644715,3194987,12209051],"CategoryIds":[151,877,1027],"FormatId":1,"FamilyId":2335829,"SeriesId":71175,"LanguageId":56,"PriceMin":129.99,"PriceMax":129.99,"Desirability":1,"PublicationDate":"2008-12-16T00:00:00","Join":null}
Dynamic Worlds: From the Frame Problem to Knowledge Management
Pareschi, Remo
Fronhöfer, Bertram
Paperback
$153.99
{"Id":22595331,"Title":"Dynamic Worlds: From the Frame Problem to Knowledge Management","Authors":["Pareschi, Remo","Fronh\u00F6fer, Bertram"],"ShortTitle":"Dynamic Worlds: From the Frame Problem to Knowledge Management","Author":"Pareschi, Remo","Ean":"9789048151592","Isbn":"9048151597","Publisher":"Springer Nature","IsOnShelf":false,"IsIngramAvailable":true,"IsBestSeller":false,"IsRecentArrival":false,"ConditionIds":[1],"GroupIds":[],"ContributorIds":[1602781,1602785],"CategoryIds":[430,877],"FormatId":2,"FamilyId":7622327,"SeriesId":71175,"LanguageId":56,"PriceMin":153.99,"PriceMax":153.99,"Desirability":1,"PublicationDate":"2010-12-15T00:00:00","Join":null}