Explore: *computer Logic

“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

“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

“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

“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

“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

“Computational Thinking” Metadata:

• Title: Computational Thinking
• Authors: Peter J. DenningMatti Tedre
• Language: English
• Number of Pages: Median: 264
• Publisher: MIT Press - The MIT Press
• Publish Date: 2019
• Publish Location: Cambridge, USA

“Computational Thinking” Subjects and Themes:

• Subjects: ➤  computational methods - computers - computer science - software engineering - design - education - teaching - algorithmics - Computer algorithms - Logic - Electronic data processing - Popular works - Computer logic - Social aspects
• People: Gottfried Leibniz - Seymour Papert - Jeannette Wing
• Time: early 21st century

Edition Identifiers:

• The Open Library ID: OL29815656M - OL29815651M - OL27949439M
• Online Computer Library Center (OCLC) ID: 1052902737
• Library of Congress Control Number (LCCN): 2018044011
• All ISBNs: ➤  9780262353410 - 0262536560 - 0262353415 - 9780262536561 - 9780262353427 - 0262353423

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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: OL7745608M - OL7765832M - OL7750411M - OL7750243M
• Online Computer Library Center (OCLC) ID: 41871580 - 855545075
• Library of Congress Control Number (LCCN): 99015233
• All ISBNs: ➤  9780521835367 - 0521835364 - 0521656028 - 9780521652001 - 9780521543101 - 052154310X - 0521652006 - 9780521656023

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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

“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