Explore: Computer Logic
Discover books, insights, and more — all in one place.
Learn more about Computer Logic with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “computer-logic”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Computability
By Richard L. Epstein, Richard .L. Epstein and Walter Alexandr Carnielli
“Computability” Metadata:
- Title: Computability
- Authors: Richard L. EpsteinRichard .L. EpsteinWalter Alexandr Carnielli
- Language: English
- Number of Pages: Median: 309
- Publisher: ➤ Brooks/Cole Advanced Books & Software - Chapman & Hall/CRC - Advanced Reasoning Forum
- Publish Date: 1988 - 1990 - 2008
- Publish Location: Pacific Grove, Calif
“Computability” Subjects and Themes:
- Subjects: ➤ Computable functions - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Mathematics - Computer Logic - Science/Mathematics - Logic - Set Theory - Mathematics / Set Theory - Logic, Symbolic and mathematic
Edition Identifiers:
- The Open Library ID: OL33980052M - OL33978420M - OL7783425M - OL21512179M
- Online Computer Library Center (OCLC) ID: 19518272
- Library of Congress Control Number (LCCN): 89007097
- All ISBNs: ➤ 0981550746 - 0534103561 - 9780534103569 - 9780981550749 - 9780981550732 - 0981550738
First Setence:
"Much of modern logic came about as a response to problems and paradoxes in the foundations of mathematics."
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2New trends in fuzzy systems
By International Joint Workshop on Current Issues Fuzzy Technologies/Methods amd Environments for Planning and Programming (1998 Naples, Italy), International Joint Workshop on Current Issues Fuzzy Technologies, meth and Massimo Squillante
“New trends in fuzzy systems” Metadata:
- Title: New trends in fuzzy systems
- Authors: ➤ International Joint Workshop on Current Issues Fuzzy Technologies/Methods amd Environments for Planning and Programming (1998 Naples, Italy)International Joint Workshop on Current Issues Fuzzy TechnologiesmethMassimo Squillante
- Language: English
- Number of Pages: Median: 277
- Publisher: ➤ World Scientific Pub Co Inc - World Scientific Publishing Co Pte Ltd - World Scientific Publishing Company - World Scientific
- Publish Date: 1997 - 1998
- Publish Location: Singapore - River Edge, NJ
“New trends in fuzzy systems” Subjects and Themes:
- Subjects: ➤ Fuzzy systems - Congresses - Cybernetics & systems theory - Fuzzy set theory - Computer Science - Computer Logic - Fuzzy Sets - Science/Mathematics - Computers - Computers - General Information - Artificial Intelligence - General
Edition Identifiers:
- The Open Library ID: OL459019M - OL9194727M - OL49259116M - OL49257101M
- Online Computer Library Center (OCLC) ID: 39645352
- Library of Congress Control Number (LCCN): 98176560
- All ISBNs: ➤ 1322224021 - 9789810232450 - 9781322224022 - 981452929X - 9789814529297 - 9810232454
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find New trends in fuzzy systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Logic of analog and digital machines
By Paolo Rocchi
“Logic of analog and digital machines” Metadata:
- Title: ➤ Logic of analog and digital machines
- Author: Paolo Rocchi
- Language: English
- Number of Pages: Median: 246
- Publisher: ➤ Nova Science Publishers - Nova Science Pub Inc
- Publish Date: 2009 - 2013
- Publish Location: Hauppauge, N.Y
“Logic of analog and digital machines” Subjects and Themes:
- Subjects: Logic design - Computer logic - Popular works - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL47302422M - OL27573375M - OL24467907M
- Library of Congress Control Number (LCCN): 2010012213 - 2013002533
- All ISBNs: ➤ 9781626180383 - 1616688157 - 1626180385 - 9781616688158 - 9781616684815 - 161668481X
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Logic of analog and digital machines at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Principles of knowledge representation and reasoning
By Principles of Knowledge Representation and Reasoning. (3rd 1992 Cambridge, MA), Bernhard Nebel and Charles Rich
“Principles of knowledge representation and reasoning” Metadata:
- Title: ➤ Principles of knowledge representation and reasoning
- Authors: ➤ Principles of Knowledge Representation and Reasoning. (3rd 1992 Cambridge, MA)Bernhard NebelCharles Rich
- Language: English
- Number of Pages: Median: 791
- Publisher: ➤ Morgan Kaufmann - MorganKaufmann - M. Kaufmann
- Publish Date: 1992
- Publish Location: San Mateo, Calif
“Principles of knowledge representation and reasoning” Subjects and Themes:
- Subjects: ➤ Congresses - Knowledge representation (Information theory) - Logic, Symbolic and mathematical - Reasoning - Symbolic and mathematical Logic - Information Theory - Reference - Computer Logic - Knowledge-Based Computing - Computers - General Information - Logic, Symbolic and mathematic - Knowledge representation (Info - Artificial Intelligence - General - Computer architecture & logic design - Computers / Artificial Intelligence - Knowledge-based systems / expert systems
Edition Identifiers:
- The Open Library ID: OL8606423M - OL21933947M - OL1730027M
- Library of Congress Control Number (LCCN): 92034433
- All ISBNs: 1558602623 - 9781558602625
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Principles of knowledge representation and reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
51997 Annual Meeting of the North American Fuzzy Information Processing Society--NAFIPS
By North American Fuzzy Information Processing Society. Meeting, North American Fuzzy Information Process, Institute of Electrical and Electronics Engineers and IEEE Neural Networks Council
“1997 Annual Meeting of the North American Fuzzy Information Processing Society--NAFIPS” Metadata:
- Title: ➤ 1997 Annual Meeting of the North American Fuzzy Information Processing Society--NAFIPS
- Authors: ➤ North American Fuzzy Information Processing Society. MeetingNorth American Fuzzy Information ProcessInstitute of Electrical and Electronics EngineersIEEE Neural Networks Council
- Language: English
- Number of Pages: Median: 500
- Publisher: ➤ Institute of Electrical and Electronics Engineers - IEEE Service Center - Institute of Electrical & Electronics Enginee
- Publish Date: 1997 - 1998
- Publish Location: Piscataway, N.J - [New York]
“1997 Annual Meeting of the North American Fuzzy Information Processing Society--NAFIPS” Subjects and Themes:
- Subjects: ➤ Congresses - Soft computing - Neural networks (Computer science) - Fuzzy systems - Automatic control engineering - Fuzzy set theory - Neural Networks - Computers - General Information - Computer Logic - Neural Computing - Computers - Science/Mathematics - Artificial Intelligence - General - Fuzzy sets - Fuzzy numbers
Edition Identifiers:
- The Open Library ID: OL8083078M - OL709317M
- Online Computer Library Center (OCLC) ID: 37885534
- Library of Congress Control Number (LCCN): 97072650
- All ISBNs: 9780780340787 - 9780780340794 - 0780340787 - 0780340795
Author's Alternative Names:
"Institute of Electrical & Electronics En", "Ieee", "IEEE" and "Institute of Electrical and Electronics Engineers"Access and General Info:
- First Year Published: 1997
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find 1997 Annual Meeting of the North American Fuzzy Information Processing Society--NAFIPS at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Logical Foundations of Computer Science
By Sergei Artemov
“Logical Foundations of Computer Science” Metadata:
- Title: ➤ Logical Foundations of Computer Science
- Author: Sergei Artemov
- Language: English
- Number of Pages: Median: 407
- Publisher: ➤ Springer Berlin / Heidelberg - Springer London, Limited - Springer Berlin Heidelberg - Springer - Springer International Publishing AG - Imprint: Springer
- Publish Date: ➤ 2007 - 2009 - 2012 - 2013 - 2015 - 2017 - 2019 - 2022
- Publish Location: Berlin, Heidelberg
“Logical Foundations of Computer Science” Subjects and Themes:
- Subjects: ➤ Mathematical Logic and Formal Languages - Symbolic and mathematical Logic - Information theory - Logic design - Logics and Meanings of Programs - Computer science - Arithmetic and Logic Structures - Programming Languages, Compilers, Interpreters - Theory of Computation - Mathematical Logic and Foundations - Congresses - Computer logic - Logic
Edition Identifiers:
- The Open Library ID: ➤ OL37158097M - OL37099626M - OL36280172M - OL35768891M - OL34529595M - OL30618973M - OL28344246M - OL28233813M - OL27071592M
- Library of Congress Control Number (LCCN): 2012954010
- All ISBNs: ➤ 9783319276823 - 3642357229 - 9783540727347 - 3540727345 - 3030930998 - 3319276832 - 9783642357220 - 3642357210 - 9783030930998 - 9783642357213 - 9783540926870 - 9783319276830 - 3030367541 - 3319276824 - 3540926879 - 3319720554 - 9783319720555 - 9783030367541
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logical Foundations of Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Logic functions and equations
By Christian Posthoff and Bernd Steinbach
“Logic functions and equations” Metadata:
- Title: Logic functions and equations
- Authors: Christian PosthoffBernd Steinbach
- Language: English
- Number of Pages: Median: 408
- Publisher: ➤ Springer - Springer London, Limited - Springer International Publishing AG - Steinbach Bernd Posthoff Christian
- Publish Date: ➤ 2005 - 2010 - 2011 - 2013 - 2018 - 2021 - 2023
“Logic functions and equations” Subjects and Themes:
- Subjects: ➤ Mathematics - Computer logic - Symbolic and mathematical Logic - Computer science - Informatik - Boolesche Funktion - Binary system (Mathematics) - Boolesche Gleichung - Logic programming - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: ➤ OL48195977M - OL37089468M - OL35576723M - OL28163307M - OL27996325M - OL27772429M - OL9398263M
- All ISBNs: ➤ 9781402029370 - 9048181658 - 9789048181650 - 9781402029387 - 1402029381 - 9783030889449 - 1441952616 - 9783030024192 - 3030024199 - 9783030889470 - 3030889475 - 1402029373 - 3030889440 - 9781441952615
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic functions and equations at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Fuzzy learning and applications
By Marco Russo, Marco Russo and Lakhmi C. Jain
“Fuzzy learning and applications” Metadata:
- Title: ➤ Fuzzy learning and applications
- Authors: Marco RussoMarco RussoLakhmi C. Jain
- Language: English
- Number of Pages: Median: 408
- Publisher: ➤ CRC - CRC Press - Taylor & Francis Group
- Publish Date: 2000 - 2001 - 2019
- Publish Location: Boca Raton
“Fuzzy learning and applications” Subjects and Themes:
- Subjects: ➤ Programmable controllers - Fuzzy systems - Computer science - Neural networks (Computer science) - Machine learning - Neural networks (Computer scie - Computers - Computer Logic - Computers - General Information - Computer Books: General - Engineering - Mechanical - Artificial Intelligence - Fuzzy Logic - Computer Engineering - Discrete Mathematics - Computers / Programming / Systems Analysis & Design - Fuzzy logic - Artificial intelligence
Edition Identifiers:
- The Open Library ID: ➤ OL8259588M - OL33522239M - OL33710231M - OL33726111M - OL17011946M - OL33678573M
- Online Computer Library Center (OCLC) ID: 45100088
- Library of Congress Control Number (LCCN): 00048560
- All ISBNs: ➤ 9780429544743 - 1482274485 - 0849322693 - 042954474X - 0429530048 - 9781482274486 - 9780849322693 - 0429177453 - 9780429530043 - 9780429177453
First Setence:
"This chapter presents the fusion of neural networks and genetic algorithms for fuzzy supervised learning."
Author's Alternative Names:
"Professor Lakhmi C. Jain", "Jain Lakhmi" and "Lakhmi C Jain"Access and General Info:
- First Year Published: 2000
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Fuzzy learning and applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9The logician and the engineer
By Paul J. Nahin
“The logician and the engineer” Metadata:
- Title: The logician and the engineer
- Author: Paul J. Nahin
- Language: English
- Number of Pages: Median: 246
- Publisher: Princeton University Press
- Publish Date: 2012 - 2017
- Publish Location: Princeton
“The logician and the engineer” Subjects and Themes:
- Subjects: ➤ Electrical engineers - Computer logic - Logicians - Biography - Logic circuits - Great britain, biography - Electric engineers - Engineers, biography - Technology, history, united states
- People: ➤ George Boole (1815-1864) - Claude Elwood Shannon (1916-2001)
- Places: United States - Great Britain
Edition Identifiers:
- The Open Library ID: OL29136929M - OL25202601M - OL27419865M - OL29204202M
- Online Computer Library Center (OCLC) ID: 775662187
- Library of Congress Control Number (LCCN): 2011053127
- All ISBNs: ➤ 1283578786 - 9781283578783 - 1400844657 - 9781400844654 - 0691151008 - 9780691176000 - 0691176000 - 9780691151007
Author's Alternative Names:
"Paul Nahin", "Paul J Nahin" and "Paul J. Nahin"Access and General Info:
- First Year Published: 2012
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The logician and the engineer at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Computational logic in multi-agent systems
By João Leite and Paolo Torroni
“Computational logic in multi-agent systems” Metadata:
- Title: ➤ Computational logic in multi-agent systems
- Authors: João LeitePaolo Torroni
- Language: English
- Number of Pages: Median: 283
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: ➤ 2004 - 2005 - 2006 - 2011 - 2013
“Computational logic in multi-agent systems” Subjects and Themes:
- Subjects: ➤ Intelligent agents (Computer software) - Computer logic - Congresses - Distributed artificial intelligence - Logic
Edition Identifiers:
- The Open Library ID: OL37390095M - OL37361443M - OL34882482M - OL34452460M - OL9705955M
- Online Computer Library Center (OCLC) ID: 61181413 - 61403824
- Library of Congress Control Number (LCCN): 2005929660
- All ISBNs: ➤ 354030200X - 9783540318576 - 9783540280606 - 9783642406249 - 9783540302001 - 3642223591 - 3540318577 - 3642406246 - 9783642223594 - 354028060X
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computational logic in multi-agent systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11Logic in Computer Science
Modelling and Reasoning about Systems
By Mark Ryan
“Logic in Computer Science” Metadata:
- Title: Logic in Computer Science
- Author: Mark Ryan
- Language: English
- Number of Pages: Median: 405
- Publisher: Cambridge University Press
- Publish Date: 1999 - 2000 - 2004
“Logic in Computer Science” Subjects and Themes:
- Subjects: Logic programming - Computer logic - Computers & the internet - Computer science - Qa76.9.l63 h88 1999
Edition Identifiers:
- The Open Library ID: OL7750243M - OL7745608M - OL7750411M - OL7765832M
- Online Computer Library Center (OCLC) ID: 855545075 - 41871580
- Library of Congress Control Number (LCCN): 99015233
- All ISBNs: ➤ 9780521835367 - 0521835364 - 0521656028 - 9780521543101 - 9780521652001 - 0521652006 - 052154310X - 9780521656023
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Logical foundations for cognitive agents
By Fiora Pirri
“Logical foundations for cognitive agents” Metadata:
- Title: ➤ Logical foundations for cognitive agents
- Author: Fiora Pirri
- Language: English
- Number of Pages: Median: 405
- Publisher: ➤ Springer - Springer London, Limited - Island Press
- Publish Date: 1999 - 2011 - 2012
“Logical foundations for cognitive agents” Subjects and Themes:
- Subjects: ➤ Artificial intelligence - Computer logic - Redeneren - Kennisrepresentatie - Symbolische logica - Kunstmatige intelligentie - Intelligent agents (Computer software) - Cognitie - Formalisme - Agentia - Intelligence artificielle
Edition Identifiers:
- The Open Library ID: OL50699394M - OL35796250M - OL34372934M - OL9598936M
- Online Computer Library Center (OCLC) ID: 41355639
- Library of Congress Control Number (LCCN): 99023785
- All ISBNs: ➤ 9783642643064 - 3642602126 - 9783642602122 - 9783642602115 - 3540660127 - 364264306X - 3642602118 - 9783540660125
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logical foundations for cognitive agents at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Computational logic in multi-agent systems
By Katsumi Inoue, Ken Satoh and Francesca Toni
“Computational logic in multi-agent systems” Metadata:
- Title: ➤ Computational logic in multi-agent systems
- Authors: Katsumi InoueKen SatohFrancesca Toni
- Language: English
- Number of Pages: Median: 315
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2006 - 2007 - 2008
“Computational logic in multi-agent systems” Subjects and Themes:
- Subjects: ➤ Intelligent agents (Computer software) - Computer logic - Congresses - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL37390096M - OL37372588M - OL37361235M - OL12810224M
- Online Computer Library Center (OCLC) ID: 79447626
- Library of Congress Control Number (LCCN): 2006939322
- All ISBNs: ➤ 3540888330 - 9783540888338 - 3540696199 - 9783540696186 - 3540339973 - 3540696180 - 9783540696193 - 9783540339977
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computational logic in multi-agent systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Towards a design flow for reversible logic
By Robert Wille
“Towards a design flow for reversible logic” Metadata:
- Title: ➤ Towards a design flow for reversible logic
- Author: Robert Wille
- Language: English
- Number of Pages: Median: 200
- Publisher: Springer Verlag - Springer
- Publish Date: 2010 - 2014
- Publish Location: New York - Dordrecht
“Towards a design flow for reversible logic” Subjects and Themes:
- Subjects: Logic programming - Computer logic - Computer architecture - Reversible computing
Edition Identifiers:
- The Open Library ID: OL37120392M - OL28036185M - OL27966327M - OL25066311M
- Online Computer Library Center (OCLC) ID: 646114030
- Library of Congress Control Number (LCCN): 2010932404
- All ISBNs: ➤ 9048195802 - 9789048195787 - 9048195799 - 9789400794252 - 9048195780 - 9789048195794 - 9400794258 - 9789048195800
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Towards a design flow for reversible logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Computer science logic
22nd International Workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings
By CSL 2008 (2008 Bertinoro, Italy)
“Computer science logic” Metadata:
- Title: Computer science logic
- Author: ➤ CSL 2008 (2008 Bertinoro, Italy)
- Language: English
- Number of Pages: Median: 512
- Publisher: Springer
- Publish Date: 2008
- Publish Location: Berlin - New York
“Computer science logic” Subjects and Themes:
- Subjects: ➤ Computer logic - Congresses - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL23871823M - OL23654297M - OL23667821M - OL23724529M
- Online Computer Library Center (OCLC) ID: 271456773
- Library of Congress Control Number (LCCN): 2008934680
- All ISBNs: 9783540875307 - 3540875301
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Computer science logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16The Tbilisi Symposium on Logic, Language, and Computation
By Tbilisi Symposium on Logic, Language, and Computation (1995 Gudauri, Georgia)
“The Tbilisi Symposium on Logic, Language, and Computation” Metadata:
- Title: ➤ The Tbilisi Symposium on Logic, Language, and Computation
- Author: ➤ Tbilisi Symposium on Logic, Language, and Computation (1995 Gudauri, Georgia)
- Language: English
- Number of Pages: Median: 376
- Publisher: ➤ Center for the Study of Language and Inf - CSLI Publications - FoLLI
- Publish Date: 1998
- Publish Location: Stanford, Calif
“The Tbilisi Symposium on Logic, Language, and Computation” Subjects and Themes:
- Subjects: ➤ Congresses - Computer logic - Computational linguistics - Electronic data processing - Semantics - Programming languages (Electronic computers)
Edition Identifiers:
- The Open Library ID: OL695705M - OL8746281M - OL8746282M
- Online Computer Library Center (OCLC) ID: 37843776
- Library of Congress Control Number (LCCN): 97043164
- All ISBNs: 1575860988 - 9781575860992 - 1575860996 - 9781575860985
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find The Tbilisi Symposium on Logic, Language, and Computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Process Mining: Data Science in Action
By Wil M. P. van der Aalst
“Process Mining: Data Science in Action” Metadata:
- Title: ➤ Process Mining: Data Science in Action
- Author: Wil M. P. van der Aalst
- Number of Pages: Median: 467
- Publisher: Springer
- Publish Date: 2016
“Process Mining: Data Science in Action” Subjects and Themes:
- Subjects: ➤ Data mining - Information systems applications (incl. internet) - Information retrieval - Information organization - Computer science - Information technology - Business--data processing - Software engineering - Computer logic - Application software - Information storage and retrieval - It in business - Logics and meanings of programs - Computer appl. in administrative data processing - Qa76.76.a65 - 005.7
Edition Identifiers:
- The Open Library ID: OL26837365M
- All ISBNs: 3662498502 - 9783662498507
Access and General Info:
- First Year Published: 2016
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Process Mining: Data Science in Action at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Krister Segerberg On Logic Of Actions
By Robert Trypuz
“Krister Segerberg On Logic Of Actions” Metadata:
- Title: ➤ Krister Segerberg On Logic Of Actions
- Author: Robert Trypuz
- Language: English
- Number of Pages: Median: 352
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2013 - 2016
“Krister Segerberg On Logic Of Actions” Subjects and Themes:
- Subjects: Logic - Act (philosophy) - Computer logic
Edition Identifiers:
- The Open Library ID: OL37179784M - OL26190738M - OL28137874M
- Online Computer Library Center (OCLC) ID: 842364222
- Library of Congress Control Number (LCCN): 2013945289
- All ISBNs: ➤ 9789400770454 - 9402401970 - 9400770456 - 9789402401974 - 9789400770461 - 9400770464
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Krister Segerberg On Logic Of Actions at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Logic-based artificial intelligence
By Jack Minker
“Logic-based artificial intelligence” Metadata:
- Title: ➤ Logic-based artificial intelligence
- Author: Jack Minker
- Language: English
- Number of Pages: Median: 619
- Publisher: ➤ Springer London, Limited - Springer - Kluwer Academic Publishers
- Publish Date: 2000 - 2012
- Publish Location: Boston
“Logic-based artificial intelligence” Subjects and Themes:
- Subjects: ➤ Computer logic - Symbolic and mathematical Logic - Artificial intelligence - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL18154726M - OL28007960M - OL37232777M
- Online Computer Library Center (OCLC) ID: 45243307
- Library of Congress Control Number (LCCN): 00052177
- All ISBNs: ➤ 1461356180 - 146151567X - 9781461515678 - 0792372247 - 9781461356189 - 9780792372240
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic-based artificial intelligence at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Bounded queries in recursion theory
By William I. Gasarch, William Gasarch and Georgia Martin
“Bounded queries in recursion theory” Metadata:
- Title: ➤ Bounded queries in recursion theory
- Authors: William I. GasarchWilliam GasarchGeorgia Martin
- Language: English
- Number of Pages: Median: 353
- Publisher: ➤ Birkhäuser Boston - Island Press - Birkauser
- Publish Date: 1998 - 1999 - 2011
- Publish Location: Boston
“Bounded queries in recursion theory” Subjects and Themes:
- Subjects: ➤ Computational complexity - Recursion theory - Applications of Computing - Applied mathematics - Combinatorics & graph theory - Theory Of Computing - General - Computer Logic - Computers - Mathematics - Science/Mathematics - Logic - Computer Science - Discrete Mathematics - Computability Theory - Computers / Computer Science
Edition Identifiers:
- The Open Library ID: OL8074602M - OL50676229M - OL383537M
- Online Computer Library Center (OCLC) ID: 39936187
- Library of Congress Control Number (LCCN): 98046023
- All ISBNs: 9781461206361 - 1461206367 - 0817639667 - 9780817639662
First Setence:
"In this chapter we present some material from recursion theory that is requisite to understanding the material in later chapters."
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Bounded queries in recursion theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Introductory logic and sets for computer scientists
By Nimal Nissanke
“Introductory logic and sets for computer scientists” Metadata:
- Title: ➤ Introductory logic and sets for computer scientists
- Author: Nimal Nissanke
- Language: English
- Number of Pages: Median: 384
- Publisher: Addison Wesley Longman
- Publish Date: 1999
- Publish Location: ➤ Harlow, England - Reading, Mass
“Introductory logic and sets for computer scientists” Subjects and Themes:
- Subjects: ➤ Computer logic - Set theory - Mathematics - sets - General topology - & categories - Logic design
Edition Identifiers:
- The Open Library ID: OL18818793M
- Online Computer Library Center (OCLC) ID: 39300172
- Library of Congress Control Number (LCCN): 98028534
- All ISBNs: 0201179571 - 9780201179576
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Introductory logic and sets for computer scientists at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Computation Engineering:
By Ganesh Gopalakrishnan
“Computation Engineering:” Metadata:
- Title: Computation Engineering:
- Author: Ganesh Gopalakrishnan
- Language: English
- Number of Pages: Median: 476
- Publisher: Springer
- Publish Date: 2006 - 2007 - 2010
“Computation Engineering:” Subjects and Themes:
- Subjects: ➤ Machine theory - Mathematics - Computer logic - Computer science - Informatique - Komplexitätstheorie - Automates mathématiques, Théorie des - Model Checking - Mathématiques - Automatentheorie - Theoretische Informatik - Logique informatique - Computer engineering - Mathematiques - Theorie des Automates mathematiques - Information theory - Systems engineering - Theory of Computation - Circuits and Systems - Mathematical Logic and Formal Languages - Electronic and Computer Engineering
Edition Identifiers:
- The Open Library ID: OL7444698M - OL27961860M - OL9652093M
- Online Computer Library Center (OCLC) ID: 70249249
- Library of Congress Control Number (LCCN): 2006920602
- All ISBNs: ➤ 9780387244181 - 0387244182 - 1441937412 - 9781441937414 - 9780387244198 - 0387244190
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computation Engineering: at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Asynchronous Operators of Sequential Logic: Venjunction & Sequention
By Vadim Vasyukevich
“Asynchronous Operators of Sequential Logic: Venjunction & Sequention” Metadata:
- Title: ➤ Asynchronous Operators of Sequential Logic: Venjunction & Sequention
- Author: Vadim Vasyukevich
- Language: English
- Number of Pages: Median: 140
- Publisher: ➤ Springer - Springer Berlin / Heidelberg - Springer Berlin Heidelberg
- Publish Date: 2011 - 2013
- Publish Location: Berlin, Heidelberg
“Asynchronous Operators of Sequential Logic: Venjunction & Sequention” Subjects and Themes:
- Subjects: ➤ Systems engineering - Engineering - Computer engineering - Logic circuits - Logic design - Computer logic - Asynchronous circuits - Design and construction - Digital electronics - Electronic circuit design
Edition Identifiers:
- The Open Library ID: OL37165197M - OL28006950M - OL25545935M
- Library of Congress Control Number (LCCN): 2011929655
- All ISBNs: ➤ 3642216129 - 9783642268823 - 364226882X - 9783642216121 - 9783642216114 - 3642216110 - 3642216102 - 9783642216107
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Asynchronous Operators of Sequential Logic: Venjunction & Sequention at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Logic in Computer Science
By Michael Huth
“Logic in Computer Science” Metadata:
- Title: Logic in Computer Science
- Author: Michael Huth
- Language: English
- Number of Pages: Median: 443
- Publisher: Cambridge University Press
- Publish Date: 2000 - 2004 - 2012
- Publish Location: Leiden
“Logic in Computer Science” Subjects and Themes:
- Subjects: ➤ Logic programming (Computer science) - Computer logic
Edition Identifiers:
- The Open Library ID: OL40482473M - OL34477085M - OL27071616M
- Online Computer Library Center (OCLC) ID: 476030464
- All ISBNs: ➤ 9780511263200 - 0511264011 - 9780511810275 - 9780511264016 - 0511263201 - 051181027X
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic in Computer Science at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Reversible Computation
By Gerhard W. Dueck
“Reversible Computation” Metadata:
- Title: Reversible Computation
- Author: Gerhard W. Dueck
- Language: English
- Number of Pages: Median: 273
- Publisher: ➤ Springer - Imprint: Springer - Springer Berlin Heidelberg
- Publish Date: 2013
“Reversible Computation” Subjects and Themes:
- Subjects: ➤ Logic design - Logics and Meanings of Programs - Computation by Abstract Devices - Computer science - Software engineering - Algorithm Analysis and Problem Complexity - Computer software - Reversible computing - Congresses - Computer logic - Mathematics - Computer science, mathematics - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL28013100M - OL28011544M - OL27085556M
- Library of Congress Control Number (LCCN): 2013940507
- All ISBNs: ➤ 9783642389870 - 3642389872 - 3642389856 - 9783642389856 - 9783642389863 - 3642389864
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Reversible Computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Computational logic in multi-agent systems
8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers
By CLIMA (Conference) (8th 2007 Porto, Portugal)
“Computational logic in multi-agent systems” Metadata:
- Title: ➤ Computational logic in multi-agent systems
- Author: ➤ CLIMA (Conference) (8th 2007 Porto, Portugal)
- Language: English
- Number of Pages: Median: 298
- Publisher: Springer
- Publish Date: 2008
- Publish Location: New York - Berlin
“Computational logic in multi-agent systems” Subjects and Themes:
- Subjects: ➤ Congresses - Intelligent agents (Computer software) - Computer logic - Logic - Intelligent agents (computer software)
Edition Identifiers:
- The Open Library ID: OL23696766M - OL23724564M - OL23654377M
- Online Computer Library Center (OCLC) ID: 268784012
- Library of Congress Control Number (LCCN): 2008937800
- All ISBNs: 9783540888321 - 3540888322
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Computational logic in multi-agent systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Computational logic
By Ulrich Berger, Helmut Schwichtenberg, J. Girard, D. Miller and S. R. Buss
“Computational logic” Metadata:
- Title: Computational logic
- Authors: Ulrich BergerHelmut SchwichtenbergJ. GirardD. MillerS. R. Buss
- Language: English
- Number of Pages: Median: 444
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 1999 - 2012
- Publish Location: New York - Berlin
“Computational logic” Subjects and Themes:
- Subjects: ➤ Computer logic - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL37236567M - OL9622844M - OL17840728M
- Online Computer Library Center (OCLC) ID: 40707052
- Library of Congress Control Number (LCCN): 99013850
- All ISBNs: 3642586228 - 9783540645894 - 3540645896 - 9783642586224
First Setence:
"The aim of this chapter is to give an introduction to some recent work on the application of game semantics to the study of programming languages."
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computational logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Specification and verification of declarative open interaction models
By Marco Montali
“Specification and verification of declarative open interaction models” Metadata:
- Title: ➤ Specification and verification of declarative open interaction models
- Author: Marco Montali
- Language: English
- Number of Pages: Median: 424
- Publisher: Springer
- Publish Date: 2010 - 2011
- Publish Location: New York - Berlin
“Specification and verification of declarative open interaction models” Subjects and Themes:
- Subjects: ➤ Computer logic - Computational intelligence - Declarative programming languages - Management information systems - Information technology - Business
Edition Identifiers:
- The Open Library ID: OL37387656M - OL27952280M - OL25321519M
- Online Computer Library Center (OCLC) ID: 648933593
- Library of Congress Control Number (LCCN): 2010931106
- All ISBNs: ➤ 3642145388 - 9783642145384 - 9783642145377 - 364214537X - 9783642145391 - 3642145396
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Specification and verification of declarative open interaction models at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Propositional logic
By H. Kleine Büning, Hans Kleine Büning and Theodor Lettmann
“Propositional logic” Metadata:
- Title: Propositional logic
- Authors: H. Kleine BüningHans Kleine BüningTheodor Lettmann
- Language: English
- Number of Pages: Median: 415
- Publisher: Cambridge University Press
- Publish Date: 1999
- Publish Location: New York - Cambridge [England]
“Propositional logic” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Computer logic - Algorithmes - Algorithme - Automatische bewijsvoering - Logique propositionnelle - Logique (Informatique) - Algoritmen - Structure de données - Algorithme résolution - Démonstration automatique de théorèmes - Déduction - Calcul propositionnel - Aussagenlogik - Satisfiabilité - Clause Horn - Logique informatique - Mathematical logic - Mathematical theory of computation - Science/Mathematics - Computers - General Information - Algorithms (Computer Programming) - Philosophy Of Mathematics - Computers - Programming - General - Discrete Mathematics - Computer Science - Logic - Computers / Programming / Software Development - Computer Bks - General Information - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL7749360M - OL18820915M
- Online Computer Library Center (OCLC) ID: 39655053
- Library of Congress Control Number (LCCN): 98038806
- All ISBNs: 0521630177 - 9780521630177
First Setence:
"Mathematical logic has from its very beginning concerned itself with, amongst other things, a precise explication of the concept of proof, that is to say the concept of logical deduction."
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Propositional logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Challenges for action theories
By Michael Thielscher
“Challenges for action theories” Metadata:
- Title: Challenges for action theories
- Author: Michael Thielscher
- Language: English
- Number of Pages: Median: 138
- Publisher: Springer
- Publish Date: 2000
- Publish Location: New York - Berlin
“Challenges for action theories” Subjects and Themes:
- Subjects: ➤ Computer logic - Formal methods (Computer science) - System design - Computer science - Artificial intelligence - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL17594390M - OL17840788M - OL17703731M
- Online Computer Library Center (OCLC) ID: 43894238
- Library of Congress Control Number (LCCN): 00030750
- All ISBNs: 3540674551 - 9783540674559
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Challenges for action theories at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Challenges for Action Theories
By Michael Thielscher
“Challenges for Action Theories” Metadata:
- Title: Challenges for Action Theories
- Author: Michael Thielscher
- Language: English
- Number of Pages: Median: 138
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2000 - 2006
“Challenges for Action Theories” Subjects and Themes:
- Subjects: ➤ Formal methods (Computer science) - Computer logic - System design
Edition Identifiers:
- The Open Library ID: OL37099129M - OL9427900M
- All ISBNs: 9783540674559 - 9783540455967 - 3540674551 - 3540455965
First Setence:
"Of course this informal definition cannot be appreciated without further clarification of the crucial terms used therein."
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Challenges for Action Theories at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Generalized Quantifiers and Computation
By Jouko Väänänen
“Generalized Quantifiers and Computation” Metadata:
- Title: ➤ Generalized Quantifiers and Computation
- Author: Jouko Väänänen
- Language: English
- Number of Pages: Median: 139
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2000 - 2003
“Generalized Quantifiers and Computation” Subjects and Themes:
- Subjects: Mathematics - Computer logic - Computer science - Programming languages (Electronic Computers)
Edition Identifiers:
- The Open Library ID: OL37150088M - OL9690612M
- All ISBNs: 9783540669937 - 3540669930 - 9783540465836 - 3540465839
First Setence:
"The ordinary quantifiers "for some" and "for all" are not sufficient for expressing some basic mathematical concepts."
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Generalized Quantifiers and Computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33An Introduction to the Logic of the Computing Sciences
By Richard F. Von Dohlen
“An Introduction to the Logic of the Computing Sciences” Metadata:
- Title: ➤ An Introduction to the Logic of the Computing Sciences
- Author: Richard F. Von Dohlen
- Language: English
- Number of Pages: Median: 298
- Publisher: University Press of America
- Publish Date: 1999
- Publish Location: Lanham, Md
“An Introduction to the Logic of the Computing Sciences” Subjects and Themes:
- Subjects: ➤ Computer logic - Computer science - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL10906398M - OL15466694M
- Online Computer Library Center (OCLC) ID: 40359486
- Library of Congress Control Number (LCCN): 98051878
- All ISBNs: 9780761813262 - 0761813268
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find An Introduction to the Logic of the Computing Sciences at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Theorem proving with analytic tableaux and related methods
By TABLEAUX '96 (1996 Terrasini, Italy), Italy) Tableaux 9 (1996 Terrasini and P. Miglioli
“Theorem proving with analytic tableaux and related methods” Metadata:
- Title: ➤ Theorem proving with analytic tableaux and related methods
- Authors: ➤ TABLEAUX '96 (1996 Terrasini, Italy)Italy) Tableaux 9 (1996 TerrasiniP. Miglioli
- Language: English
- Number of Pages: Median: 330
- Publisher: Springer
- Publish Date: 1996
- Publish Location: New York - Berlin
“Theorem proving with analytic tableaux and related methods” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Congresses - Logic, Symbolic and mathematical - Nonclassical mathematical logic - Symbolic and mathematical Logic - Artificial intelligence - Mathematical logic - Mathematical theory of computation - Mathematics - Computers - Automata - Computer Logic - Science/Mathematics - Logic, Symbolic and mathematic - Artificial Intelligence - General - Logic - Nonclassical mathematical logi - Computer Science
Edition Identifiers:
- The Open Library ID: OL9061836M - OL979793M
- Library of Congress Control Number (LCCN): 96017235
- All ISBNs: 9783540612087 - 3540612084
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Theorem proving with analytic tableaux and related methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35Logic for learning
By Lloyd, J. W.
“Logic for learning” Metadata:
- Title: Logic for learning
- Author: Lloyd, J. W.
- Language: English
- Number of Pages: Median: 256
- Publisher: Springer
- Publish Date: 2003
- Publish Location: Berlin - New York
“Logic for learning” Subjects and Themes:
- Subjects: ➤ Computer logic - Machine learning - Structured programming - Logic, symbolic and mathematical - Logique informatique - Apprentissage automatique - Programmation structuree - Aprendizado computacional - Inteligencia artificial
Edition Identifiers:
- The Open Library ID: OL22554324M - OL18206216M
- Online Computer Library Center (OCLC) ID: 52494026
- Library of Congress Control Number (LCCN): 2003054381
- All ISBNs: 9783540420279 - 3540420274
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic for learning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36Deontic Logic and Normative Systems
By Fabrizio Cariani, Davide Grossi, Joke Meheus and Xavier Parent
“Deontic Logic and Normative Systems” Metadata:
- Title: ➤ Deontic Logic and Normative Systems
- Authors: Fabrizio CarianiDavide GrossiJoke MeheusXavier Parent
- Language: English
- Number of Pages: Median: 285
- Publisher: Springer
- Publish Date: 2014
“Deontic Logic and Normative Systems” Subjects and Themes:
- Subjects: ➤ Modality (logic) - Computer science - Artificial Intelligence (incl. Robotics) - Deontic logic - Congresses - Computer logic - Logic design - Computational complexity - Artificial intelligence - Information systems - Mathematical Logic and Formal Languages - Logics and Meanings of Programs - Computer Appl. in Administrative Data Processing - Programming Techniques - Discrete Mathematics in Computer Science
Edition Identifiers:
- The Open Library ID: OL37422945M - OL29425052M
- All ISBNs: 9783319086156 - 3319086154 - 3319086146 - 9783319086149
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Deontic Logic and Normative Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37Machinations
By Richard Spencer-Smith and Stephen Torrance
“Machinations” Metadata:
- Title: Machinations
- Authors: Richard Spencer-SmithStephen Torrance
- Language: English
- Number of Pages: Median: 234
- Publisher: ➤ Ablex Pub. Corp. - Ablex Publishing Corporation
- Publish Date: 1992
- Publish Location: Norwood, N.J
“Machinations” Subjects and Themes:
- Subjects: ➤ Symbolic and mathematical Logic - Computer science - Artificial intelligence - Programming languages (Electronic computers) - Cognition & cognitive psychology - Computer Programming - Computer architecture & logic design - Logic, Symbolic and mathematical - Computer Logic - Computers - General Information - Science/Mathematics - Machine Theory - Computer Bks - General Information - Logic, Symbolic and mathematic - Programming languages (Electro
Edition Identifiers:
- The Open Library ID: OL1545195M - OL8236913M
- Online Computer Library Center (OCLC) ID: 24108347
- Library of Congress Control Number (LCCN): 91024342
- All ISBNs: 0893919098 - 9780893919092 - 0893916552 - 9780893916558
Access and General Info:
- First Year Published: 1992
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Machinations at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Computer Science Logic
By Jörg Flum
“Computer Science Logic” Metadata:
- Title: Computer Science Logic
- Author: Jörg Flum
- Language: English
- Number of Pages: Median: 580
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 1999 - 2003
“Computer Science Logic” Subjects and Themes:
- Subjects: ➤ Logic, symbolic and mathematical - Computer logic - Congresses
Edition Identifiers:
- The Open Library ID: OL37149303M - OL12809743M
- Online Computer Library Center (OCLC) ID: 42475780
- Library of Congress Control Number (LCCN): 99048725
- All ISBNs: 9783540665366 - 3540665366 - 3540481680 - 9783540481683
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computer Science Logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39Classical and fuzzy concepts in mathematical logic and applications
By Mircea Reghiș, Mircea S. Reghis and Eugene Roventa
“Classical and fuzzy concepts in mathematical logic and applications” Metadata:
- Title: ➤ Classical and fuzzy concepts in mathematical logic and applications
- Authors: Mircea ReghișMircea S. ReghisEugene Roventa
- Language: English
- Number of Pages: Median: 372
- Publisher: CRC - CRC Press
- Publish Date: 1998
- Publish Location: Boca Raton
“Classical and fuzzy concepts in mathematical logic and applications” Subjects and Themes:
- Subjects: ➤ Fuzzy logic - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Computer architecture & logic design - Fuzzy set theory - Mathematical logic - Set Theory - Logic - Computer Logic - Fuzzy Sets - Mathematics - Science/Mathematics - Logic, Symbolic and mathematic - Applied - Computer Science - Mathematics / Set Theory - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL347245M - OL8260005M
- Library of Congress Control Number (LCCN): 98006348
- All ISBNs: 0849331978 - 9780849331978
First Setence:
"The formal language of propositional logic is the set of all formal sentences which can be constructed by means of the operator symbols (called connectives), starting from a set of initial (atomic) formal sentences X1, X2, X3, ..., XN called propositional variables."
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Classical and fuzzy concepts in mathematical logic and applications at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40Advances in temporal logic
By Howard Barringer
“Advances in temporal logic” Metadata:
- Title: Advances in temporal logic
- Author: Howard Barringer
- Language: English
- Number of Pages: Median: 461
- Publisher: ➤ Springer - Kluwer Academic Publishers
- Publish Date: 1999 - 2000
- Publish Location: Dordrecht - Boston
“Advances in temporal logic” Subjects and Themes:
- Subjects: Computer logic - Congresses - Temporal databases - Computer science - Databases
Edition Identifiers:
- The Open Library ID: OL20643347M - OL7809101M
- Online Computer Library Center (OCLC) ID: 42960608
- Library of Congress Control Number (LCCN): 99088586
- All ISBNs: 0792361490 - 9780792361497
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Advances in temporal logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41Computer science logic
By Workshop on Computer Science Logic (19th 2005 Oxford, England)
“Computer science logic” Metadata:
- Title: Computer science logic
- Author: ➤ Workshop on Computer Science Logic (19th 2005 Oxford, England)
- Language: English
- Number of Pages: Median: 565
- Publisher: Springer
- Publish Date: 2005
- Publish Location: New York - Berlin
“Computer science logic” Subjects and Themes:
- Subjects: ➤ Computer logic - Congresses - COMPUTERS - Programming - Logique (Informatique) - Congres - Programmierlogik - Informatique - Open Source - Tools - General - Software Development & Engineering - Logique informatique - Computational logic - Logik - Theoretische Informatik - Logische Programmierung - Computer science - Logic
Edition Identifiers:
- The Open Library ID: OL18239420M
- Online Computer Library Center (OCLC) ID: 61320925
- Library of Congress Control Number (LCCN): 2005930337
- All ISBNs: 3540282319 - 9783540282310
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computer science logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Computer Science Logic
By Julian Bradfield
“Computer Science Logic” Metadata:
- Title: Computer Science Logic
- Author: Julian Bradfield
- Language: English
- Number of Pages: Median: 625
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2002 - 2003
“Computer Science Logic” Subjects and Themes:
- Subjects: Computer logic - Congresses - Computer science
Edition Identifiers:
- The Open Library ID: OL37105215M - OL12775339M
- Online Computer Library Center (OCLC) ID: 488381925
- Library of Congress Control Number (LCCN): 2002030554
- All ISBNs: 9783540442400 - 3540442405 - 9783540457930 - 3540457933
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computer Science Logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43Generalized quantifiers and computation
By European Summer School in Logic, Language, and Information (9th 1997 Aix-en Provence, France)
“Generalized quantifiers and computation” Metadata:
- Title: ➤ Generalized quantifiers and computation
- Author: ➤ European Summer School in Logic, Language, and Information (9th 1997 Aix-en Provence, France)
- Language: English
- Number of Pages: Median: 139
- Publisher: Springer - Springer Verlag
- Publish Date: 1999
- Publish Location: Berlin - New York - London
“Generalized quantifiers and computation” Subjects and Themes:
- Subjects: ➤ Computer logic - Computer science - Mathematics - Programming languages (Electronic computers) - Congresses - Computer science, mathematics - Formal languages - Logic, symbolic and mathematical - Set theory
Edition Identifiers:
- The Open Library ID: OL15476853M - OL22617239M
- Online Computer Library Center (OCLC) ID: 504996212 - 43286987
- Library of Congress Control Number (LCCN): 99088969
- All ISBNs: 3540669930 - 9783540669937
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Generalized quantifiers and computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
44Incomplete information
By Stéphane P. Demri, Stephane P. Demri and Ewa S. Orlowska
“Incomplete information” Metadata:
- Title: Incomplete information
- Authors: Stéphane P. DemriStephane P. DemriEwa S. Orlowska
- Language: English
- Number of Pages: Median: 428
- Publisher: Springer
- Publish Date: 2002
- Publish Location: Berlin - New York
“Incomplete information” Subjects and Themes:
- Subjects: ➤ Soft computing - Rough sets - Fuzzy sets - Databases & data structures - Data Processing - General - Computer Logic - Theory Of Computing - Computers - Computers - Data Base Management - Computer Books: Database - Programming Languages - General - Database Management - General - Artificial Intelligence - General - Mathematics / Logic - Computer science
Edition Identifiers:
- The Open Library ID: OL17071613M - OL9057252M
- Library of Congress Control Number (LCCN): 2001055106
- All ISBNs: 3540419047 - 9783540419044
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Incomplete information at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Proceedings 14th Symposium on Logic in Computer Science, July 2-5, 1999, Trento, Italy
By Symposium on Logic in Computer Science (14th 1999 Trento, Italy), IEEE Computer Society and Institute of Electrical and Electronics Engineers
“Proceedings 14th Symposium on Logic in Computer Science, July 2-5, 1999, Trento, Italy” Metadata:
- Title: ➤ Proceedings 14th Symposium on Logic in Computer Science, July 2-5, 1999, Trento, Italy
- Authors: ➤ Symposium on Logic in Computer Science (14th 1999 Trento, Italy)IEEE Computer SocietyInstitute of Electrical and Electronics Engineers
- Language: English
- Number of Pages: Median: 479
- Publisher: ➤ Institute of Electrical & Electronics Enginee - IEEE Computer Society Press
- Publish Date: 1999
- Publish Location: Los Alamitos, Calif
“Proceedings 14th Symposium on Logic in Computer Science, July 2-5, 1999, Trento, Italy” Subjects and Themes:
- Subjects: ➤ Computer Programming - Mathematical theory of computation - Computer Logic - Computers - Computers - General Information - Computer Books: General - General - Logic Design - Computer Science
Edition Identifiers:
- The Open Library ID: OL10966421M - OL22636912M
- All ISBNs: 9780769501581 - 0769501583
Author's Alternative Names:
"Institute of Electrical and Electronics Engineers", "IEEE Computer Soc", "Computer Society Staff Ieee", "IEEE", "Institute of Electrical & Electronics En", "Computer Society Ieee", "Ieee" and "Ieee Computer Society"Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Proceedings 14th Symposium on Logic in Computer Science, July 2-5, 1999, Trento, Italy at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
46Foundations of Information and Knowledge Systems
By Christoph Beierle and Carlo Meghini
“Foundations of Information and Knowledge Systems” Metadata:
- Title: ➤ Foundations of Information and Knowledge Systems
- Authors: Christoph BeierleCarlo Meghini
- Language: English
- Number of Pages: Median: 451
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2014
“Foundations of Information and Knowledge Systems” Subjects and Themes:
- Subjects: ➤ Database design - Computer systems - Computer logic - Congresses - Information technology - Artificial Intelligence (incl. Robotics) - Computer science - Computer software - Logic design - Computational complexity - Artificial intelligence - Mathematical Logic and Formal Languages - Discrete Mathematics in Computer Science - Logics and Meanings of Programs - Mathematics of Computing - Algorithm Analysis and Problem Complexity
Edition Identifiers:
- The Open Library ID: OL27975155M - OL35802471M
- Library of Congress Control Number (LCCN): 2014930887
- All ISBNs: 9783319049397 - 9783319049380 - 3319049380 - 3319049399
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Foundations of Information and Knowledge Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
47A Paraconsistent Decision-Making Method
By Fábio Romeu de Carvalho and Jair Minoro Abe
“A Paraconsistent Decision-Making Method” Metadata:
- Title: ➤ A Paraconsistent Decision-Making Method
- Authors: Fábio Romeu de CarvalhoJair Minoro Abe
- Number of Pages: Median: 229
- Publisher: Springer
- Publish Date: 2018 - 2019
“A Paraconsistent Decision-Making Method” Subjects and Themes:
- Subjects: ➤ Decision support systems - Decision making - Computer logic - Logic - MATHEMATICS - Applied - Probability & Statistics - General - Artificial intelligence - Robotics - Automation - Computational intelligence - Engineering
Edition Identifiers:
- The Open Library ID: OL30784270M - OL28328337M
- All ISBNs: 3030089193 - 9783030089191 - 9783319741093 - 3319741098
Access and General Info:
- First Year Published: 2018
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find A Paraconsistent Decision-Making Method at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
48Automated reasoning
By Alexander Leitsch and Tobias Nipkow
“Automated reasoning” Metadata:
- Title: Automated reasoning
- Authors: Alexander LeitschTobias Nipkow
- Language: English
- Number of Pages: Median: 708
- Publisher: Springer
- Publish Date: 2001 - 2003
“Automated reasoning” Subjects and Themes:
- Subjects: Computer logic - Congresses - Automatic theorem proving - Computers
Edition Identifiers:
- The Open Library ID: OL9869085M - OL37394732M
- Online Computer Library Center (OCLC) ID: 505189233
- Library of Congress Control Number (LCCN): 2001041144
- All ISBNs: 3540422544 - 3540457445 - 9783540457442 - 9783540422549
First Setence:
"Size-change analysis is based on size-change graphs giving local approximations to parameter size changes derivable from program syntax."
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automated reasoning at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
49Decision points [electronic resource] : Boolean logic for computer users and beginning online searchers
By Janaye M. Houghton and Robert S. Houghton
“Decision points [electronic resource] : Boolean logic for computer users and beginning online searchers” Metadata:
- Title: ➤ Decision points [electronic resource] : Boolean logic for computer users and beginning online searchers
- Authors: Janaye M. HoughtonRobert S. Houghton
- Language: English
- Number of Pages: Median: 155
- Publisher: Libraries Unlimited
- Publish Date: 1999
“Decision points [electronic resource] : Boolean logic for computer users and beginning online searchers” Subjects and Themes:
- Subjects: ➤ Automation of library & information processes - Electronic information resource searching - Boolean Algebra - Computer logic - Online data processing
Edition Identifiers:
- The Open Library ID: OL8642004M
- Library of Congress Control Number (LCCN): 98053624
- All ISBNs: 1563086727 - 9781563086724
First Setence:
"Should you spend your allowance on model rockets or on baseball cards?"
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Decision points [electronic resource] : Boolean logic for computer users and beginning online searchers at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
50Computer Science Logic
By Laurent Fribourg
“Computer Science Logic” Metadata:
- Title: Computer Science Logic
- Author: Laurent Fribourg
- Language: English
- Number of Pages: Median: 615
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2001 - 2003
“Computer Science Logic” Subjects and Themes:
- Subjects: Computer logic - Congresses
Edition Identifiers:
- The Open Library ID: OL37149398M - OL9533296M
- Library of Congress Control Number (LCCN): 2001049477
- All ISBNs: 9783540425540 - 9783540448020 - 3540448020 - 3540425543
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Computer Science Logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.