Search Results - Books - Springer - Gabbay, Dov M. - Hahnle, Reiner
Order within 4hrs 8mins for Next Day Delivery
View Basket
Sign Out
Early Years View All
BrowseEarly YearsPrimarySecondaryFurther EducationAcademicVLeBooks
Top Categories
Popular TitlesBook BundlesComing SoonNew & NoteworthyAccelerated ReaderTikTok Made Me Read It
Non-Fiction Books
Biography & MemoirsHistoryMusicSportWildlifeView More...
Publisher
Crown HouseDorling Kindersley (DK)GMC DistributionMacmillanWileyView More...
Fiction Books
Animal storiesClassic crimeEnviroment storiesFantasyGraphic NovelsView More...
Author
David AlmondKwame AlexanderMalorie BlackmanSarah CrossanWilliam ShakespeareView More...
Children's Books
Bedtime StoriesBig BooksBoard BooksPicture BooksSoft Toys & GamesView More...
eBooks
AcademicCollectionsNew eBooksPrimary Box SetsPromotionsSecondary Box sets
Popular Topics
Black Lives, Black HistoryDiversity MattersFantastic FemalesLGBTQ+Mental Health AwarenessLooking After Our Planet
Not To Be Missed
Book ReviewsBlogEnglish MasteryOfficial Book AwardsSchool Book AwardsYoto Carnegies
Other
DictionariesDVD’sExam BoardsScotland ResourcesSENDTimeline of Events
Nursery Essentials
100 Essential Picture BooksFairytales & FablesNursery Rhymes & SongsSound BooksStory Board BooksTouch and Feel
Topics
Animal StoriesDinosaursFestivals & CelebrationsFunny StoriesPeople Who Help UsView More...
First Learning
ABC and First WordsColoursNumbers & CountingRhyming & WordplaySeasons & TimeView More...
Conversation Starters
Black Lives, Black HistoryBooks to Inspire ReadingDiversity MattersLooking after our PlanetRefugees & ImmigrationStarting School
Favourite Characters
BlueyElmerPaddingtonPeppa PigThe GruffaloView More...
Personal Development
All Kinds of FamiliesCelebrating GrandparentsFantastic FemalesFirst ExperiencesMental HealthPositively Me!
Favourite Series
Baby Touch & FeelCampbell Busy BooksFirst Questions & AnswersLadybird First Favourite TalesThat's Not My…View More...
Classroom Essentials
Big BooksNumiconPie Corbett CollectionsReading SchemesTeacher Resources/CPDToys and Games
Authors/Illustrators
Dapo AdeolaJoseph CoelhoJulia DonaldsonTom FletcherSue HendraView More...
Browns Recommends
Book BundlesCarnegie Medal for IllustrationGreat Books to Read AloudNew & NoteworthyOfficial Book AwardsTimeline of Events
Reading and Phonics
Accelerated ReaderAR Kids Reading Report '23AR: Newly QuizzedBook BandsPie Corbett CollectionsReading Schemes
Topics
Fiction by Genre – KS1Fiction by Genre – KS2Topic Collections - Early YearsTopic Collections - KS1Topic Collections - KS2
Reading Support
Dual & Foreign LanguageHow to Write a StoryPicture Books for KS1Picture Books for KS2Reluctant & Dyslexic ReadersWordless Picture Books
Conversation Starters
Black Lives, Black HistoryDiversity MattersFantastic FemalesFestivals & CelebrationsLooking After Our PlanetRefugees & Immigration
Reading for Pleasure
Fantastic FactsFavourite Classroom ReadsFilm & TV AdaptationsGraphic NovelsNarrative Non-FictionRead Around the World
Personal Development
Bullying AwarenessInspirational LivesMental HealthPeople Who Help UsRead for Empathy 2024Starting Secondary School
Library Collections
100 Best Fiction for Y1-Y6100 Best Non-Fiction for Y1-Y6Favourite Authors, A-ZSeries: Early Readers & KS1Series: Lower KS2Shakespeare
Classroom Essentials
11+ ExamsDictionariesNumiconScotland ResourcesTeacher Resources/CPDWales Resources
Browns Bestsellers
Bestselling New FictionBestselling New Non-FictionBook BundlesEssential PoetryFavourite AudiobooksTop 50 Graphic Novels
Browns Recommends
2023 Award WinnersChildren's Laureate 2022-2024New and NoteworthyOfficial Book AwardsSchool Book AwardsTimeline of Events
Reading for Pleasure
Favourite Authors A-ZGraphic Novels & MangaNarrative Non-FictionRead Around the WorldTikTok Made Me Read ItTV and Film Adaptations
GCSE by Exam Board
AQAEdexcelIGCSEOCRWJEC / EduqasView More...
Fiction by Genre
HistoricalHumourRomanceShort StoriesThrillersView More...
Key Debates & Topics
Black Lives, Black HistoryConflicts & TerrorismDiversity MattersMaking Sense of Our WorldOur Planet in DangerRefugees & Immigration
Non-Fiction by Subject
BiographiesGeographyHistoryHobbiesSportView More...
Personal Development
Bullying AwarenessCareersFantastic FemalesManaging Exam StressMental HealthRead for Empathy 2024
Reading Support
Accelerated ReaderDual & Foreign LanguageGraded Readers (CEFR)English MasteryReluctant & Dyslexic ReadersShakespeare
Classroom Essentials
DictionariesNorthern Ireland (CCEA)Scotland ResourcesTeacher Resources/CPDWales Resources
Browns Bestsellers
Audio BooksBestselling New FictionBestselling New Non-FictionEssential PoetryTop 30 Graphic Novels - KS3Top 30 Graphic Novels - KS4
Browns Recommends
2023 Award WinnersAR Kids Reading Report '23Book BundlesNew and NoteworthyOfficial Book AwardsTimeline of Events
Reading for Pleasure
Feel Good FictionFilm and TV AdaptationsGraphic Novels & MangaMyths RetoldTikTok Made Me Read ItView More...
A-Level by Exam Board
AQAEdexcelIALOCRWJEC / EduqasView More...
Fiction by Genre
CrimeFantasyHistoricalRomantic FictionSci-FiView More...
A-Level: Wider Reading
ArtEconomicsMusicPhilosophyShakespeareView More...
Non-Fiction by Subject
BiographiesNarrative Non-FictionPopular ScienceStudent CookbooksTrue CrimeUK Politics
Student Essentials
CareersManaging Exam StressMoney MattersReady for Uni - Reading ListsStudy SkillsView More...
Key Debates & Topics
Black Lives, Black HistoryDiversity MattersFantastic FemalesMental HealthOur Planet in DangerRefugees & Immigration
Classroom Essentials
Graded Readers (CEFR)Northern Ireland (CCEA)Scotland ResourcesT LevelsTeacher Resources/CPDWales Resources
Browns Bestsellers
Best New BiographiesBestselling New FictionBestselling New Non-FictionEssential PoetryNow StreamingQuick Reads
Browns Recommends
2023 Award WinnersAcademic NewsletterDVD CollectionsNew and NoteworthyOfficial Book AwardsTimeline of Events
Reading for Pleasure
Books by Authors of ColourGraphic NovelsLGBTQ+ Fiction Now StreamingTikTok Made Me Read It View more...
Education Studies
Early Childhood StudiesEarly Years TeachingEducation StudiesPrimary TeachingSecondary TeachingSEN Teaching
Student Essentials
Academic Writing & Research Careers Cooking on a BudgetMental HealthMoney Matters View More...
Health and Medicine
Biomedical ScienceDentistryMedicineMidwiferyNursing (Adult)View More...
Key Debates & Topics
AIConflicts Equality, Inclusion, Diversity Human Migration Net Zero Politics
Law and Politics
Criminal Law European Law Family Law International Relations Law of Tort View More...
Arts and Humanities
Art & Design Drama English Language English Literature Film Studies View More...
Sciences/Engineering
BiologyChemistryEngineeringGeographyPhysicsView More...
Business
Accounting Economics Entrepreneurship ManagementMarketing View More...
Browns Recommends
2023 Award WinnersAcademic NewsletterBestselling eBooksNew and NoteworthyOfficial Book AwardsTimeline of Events
About VLeBooks
Register for VLeBooksApplication FormRequest Inspection CopiesLeave FeedbackFAQsTerms and Conditions
Further Education
Foreign Language titlesGraphic Novels & MangaLGBTQ+Mental HealthNew FictionView More...
Teacher Hub
CPDEarly Years TeachingPrimary TeachingSecondary TeachingSEN / SENDWellbeing for Teachers
FE Curriculum
A Level by SubjectCambridge A-LevelIB DiplomaNorthern Ireland (CCEA)Scotland: Highers/Adv HighersVocational Training
Primary
Favourite Authors A-ZKS1 FictionKS2 FictionMental HealthPrimary Topics View More...
Academic
BiographiesCrime FictionMyths RetoldNew FictionRomance FictionWordsworth Classics
Secondary
Favourite SeriesFiction by GenreKS3 FictionKS4 FictionReluctant & Dyslexic ReadersView More...
Academic Subjects
AccountingBritish PoliticsDentistryMarketingPsychologyView More...
Secondary Curriculum
CareersGCSE by SubjectGraded Readers (CEFR)IGCSENorthern Ireland (CCEA)Scotland: National 4/5
Browns Recommends
2023 Award WinnersBestsellersExclusive CollectionsNew eBooksVLeBooks Promotions
Saved Searches
My Saved Searches
Image for Handbook of defeasible reasoning and uncertainty management systemsVol. 4,: Abductive reasoning and learning

Handbook of defeasible reasoning and uncertainty management systemsVol. 4,: Abductive reasoning and learning

series Handbook of Defeasible Reasoning and Uncertainty Management Systems
Paperback / softback 5 Dec 2010
Publisher Springer
ISBN: 9789048155606
Dewey: 006.3
£143.99
RRP £179.99
Special order line: only available to educational & business accounts. Sign In
Image for Handbook of tableau methods

Handbook of tableau methods

Paperback / softback 7 Dec 2010
Publisher Springer
ISBN: 9789048151844
Dewey: 511.3
£179.99
Special order line: only available to educational & business accounts. Sign In
Image for Neural-Symbolic Learning Systems: Foundations and Applications

Neural-Symbolic Learning Systems: Foundations and Applications

series Perspectives in neural computing
Ebook 6 Dec 2012
Publisher Springer
ISBN: 9781447102113
Dewey: 006.32
Licence From
£129.50
Special order line: only available to educational & business accounts. Sign In
Image for Neural-Symbolic Learning Systems : Foundations and Applications

Neural-Symbolic Learning Systems : Foundations and Applications

series Perspectives in neural computing
Paperback
Publisher Springer
ISBN: 9781447102120
£24.99
Special order line: only available to educational & business accounts. Sign In
Image for Goal-directed proof theory

Goal-directed proof theory

series Applied Logic Series
Hardback 31 Aug 2000
Publisher Springer
ISBN: 9780792364733
Dewey: 006.333
£89.99
Special order line: only available to educational & business accounts. Sign In
Image for Handbook of Philosophical Logic

Handbook of Philosophical Logic

series Handbook of Philosophical Logic
Hardback 30 Jun 2001
Publisher Springer
ISBN: 9780792370185
Dewey: 160
£129.99
Special order line: only available to educational & business accounts. Sign In
Image for Handbook of Philosophical Logic

Handbook of Philosophical Logic

series Handbook of Philosophical Logic
Hardback 31 Jul 2001
Publisher Springer
ISBN: 9780792371267
Dewey: 160
£129.99
Special order line: only available to educational & business accounts. Sign In
Image for Handbook of philosophical logicVol. 3

Handbook of philosophical logicVol. 3

series Handbook of Philosophical Logic
Hardback 31 Aug 2001
Publisher Springer
ISBN: 9780792371601
Dewey: 160
£129.99
Special order line: only available to educational & business accounts. Sign In
Image for Logic, epistemology and the unity of science

Logic, epistemology and the unity of science - v. 1

series Logic, epistemology and the unity of science
Ebook 25 Oct 2004
Publisher Springer
ISBN: 9781402028083
Dewey: 121
Licence From
£179.50
Special order line: only available to educational & business accounts. Sign In
Image for Handbook of philosophical logic.

Handbook of philosophical logic. - Vol. 14

series Handbook of Philosophical Logic
eBook 1 Oct 2007
Publisher Springer
ISBN: 9781402063244
Dewey: 160
Licence From
£179.50
Special order line: only available to educational & business accounts. Sign In
Image for Machine learning for dynamic software analysis: potentials and limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised papers

Machine learning for dynamic software analysis: potentials and limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised papers - 11026

series LNCS sublibrary. SL 2, Programming and software engineering
Ebook 20 Jul 2018
Publisher Springer
ISBN: 9783319965628
Dewey: 006.31
Licence From
£49.99
Special order line: only available to educational & business accounts. Sign In
Image for Handbook of Philosophical Logic: Volume 18

Handbook of Philosophical Logic: Volume 18 - 18

series Handbook of Philosophical Logic
Ebook 19 Oct 2018
Publisher Springer
ISBN: 9783319977553
Licence From
£79.50
Special order line: only available to educational & business accounts. Sign In
Image for Conditionals and Modularity in General Logics

Conditionals and Modularity in General Logics

series Cognitive Technologies
Ebook 19 Aug 2011
Publisher Springer
ISBN: 9783642190681
Dewey: 005.131
Licence From
£89.50
Special order line: only available to educational & business accounts. Sign In
Image for Conditionals and Modularity in General Logics

Conditionals and Modularity in General Logics

series Cognitive Technologies
Paperback 24 Aug 2011
Publisher Springer
ISBN: 9783642190698
£24.99
Special order line: only available to educational & business accounts. Sign In
Image for Logical tools for handling change in agent-based systems

Logical tools for handling change in agent-based systems

series Cognitive Technologies
eBook 11 Dec 2009
Publisher Springer
ISBN: 9783642044076
Dewey: 006.3
Licence From
£129.50
Special order line: only available to educational & business accounts. Sign In
Image for Logical Tools for Handling Change in Agent-Based Systems

Logical Tools for Handling Change in Agent-Based Systems

series Cognitive Technologies
Paperback 22 Oct 2010
Publisher Springer
ISBN: 9783642044366
£24.99
Special order line: only available to educational & business accounts. Sign In
Image for Revision, acceptability and context: theoretical and algorithmic aspects

Revision, acceptability and context: theoretical and algorithmic aspects

series Cognitive Technologies
Ebook 8 Aug 2010
Publisher Springer
ISBN: 9783642141591
Dewey: 006.333
Licence From
£129.50
Special order line: only available to educational & business accounts. Sign In
Image for Leveraging applications of formal methods, verification, and validation: international workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. revised selected papers

Leveraging applications of formal methods, verification, and validation: international workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. revised selected papers - 336

series Communications in Computer and Information Science
Ebook 30 Jul 2014
Publisher Springer
ISBN: 9783642347818
Dewey: 006.3
Licence From
£44.99
Special order line: only available to educational & business accounts. Sign In
Image for Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 201

Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 201

series Communications in Computer and Information Science
Paperback 13 Oct 2012
Publisher Springer
ISBN: 9783642347825
£24.99
Special order line: only available to educational & business accounts. Sign In
Image for Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.

Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.

series Lecture Notes in Computer Science
Paperback 12 Mar 2014
Publisher Springer
ISBN: 9783662184981
£24.99
Special order line: only available to educational & business accounts. Sign In
Image for Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

Temporal Logic : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

series Lecture Notes in Computer Science
Paperback 12 Mar 2014
Publisher Springer
ISBN: 9783662188729
£24.99
Special order line: only available to educational & business accounts. Sign In
Image for Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX-95, Schlo Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings

Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX-95, Schlo Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings

series Lecture Notes in Computer Science
Paperback 12 Mar 2014
Publisher Springer
ISBN: 9783662192030
£24.99
Special order line: only available to educational & business accounts. Sign In
Image for Neural-symbolic cognitive reasoning

Neural-symbolic cognitive reasoning

series Cognitive Technologies
eBook 15 Jan 2008
Publisher Springer
ISBN: 9783540732464
Dewey: 006.32
Licence From
£59.99
Special order line: only available to educational & business accounts. Sign In
Image for Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings - 4966

series Lecture Notes in Computer Science
Ebook 4 Apr 2008
Publisher Springer
ISBN: 9783540791249
Licence From
£44.99
Special order line: only available to educational & business accounts. Sign In
Image for Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino

series Lecture Notes in Computer Science
Paperback 2 Sep 2009
Publisher Springer
ISBN: 9783540834335
£24.99
Special order line: only available to educational & business accounts. Sign In
Image for Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

series Lecture Notes in Computer Science
Paperback 29 Aug 2009
Publisher Springer
ISBN: 9783540849766
£24.99
Special order line: only available to educational & business accounts. Sign In
Image for Neural-Symbolic Cognitive Reasoning

Neural-Symbolic Cognitive Reasoning

series Cognitive Technologies
Paperback 29 Aug 2009
Publisher Springer
ISBN: 9783540868057
£24.99
Special order line: only available to educational & business accounts. Sign In
Image for Verification of object-oriented software: the KeY approach

Verification of object-oriented software: the KeY approach - 4334

series Lecture notes in computer science. Lecture notes in artificial intelligence
Ebook 30 Jul 2014
Publisher Springer
ISBN: 9783540690610
Dewey: 004.21
Licence From
£89.50
Special order line: only available to educational & business accounts. Sign In
Image for A New Perspective on Nonmonotonic Logics

A New Perspective on Nonmonotonic Logics

Paperback 9 Nov 2016
Publisher Springer
ISBN: 9783319468167
£24.99
Special order line: only available to educational & business accounts. Sign In
Image for A new perspective on nonmonotonic logics

A new perspective on nonmonotonic logics

eBook 5 Nov 2016
Publisher Springer
ISBN: 9783319468174
Dewey: 160
Licence From
£89.50
Special order line: only available to educational & business accounts. Sign In
Add to basket
Prev
12345
Next
Browns Books Logo Footer +44 (0) 1482 384660

Our Services

Policies

Help & Contact

Browns Books © 2014-2024 All rights reserved [rev: 1.3.52.41]