Tag computer logic

16 Times 15 Works 8 Members 3 Aliases

Tagged Works

  • List
SortCountWeightedPopular
Logic and grammar : essays dedicated to Alain Lecomte on the occasion of his 60th birthday
2
ChatGPT for Dummies
1
Fundamental approaches to software engineering
1
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Theoretical Computer Science and General Issues Book 11562)
1
How to Speak Machine
1
Vagueness in communication : international workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009 : revised selected papers
1
Real-world reasoning : toward scalable, uncertain spatiotemporal, contextual and causal inference
1
Logic, language, and computation 8th International Tbilisi symposium on logic, language, and computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009: revised selected papers
1
Control, computation and information systems first International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011 : proceedings
1
The Logician and the Engineer: How George Boole and Claude Shannon Created the Information Age
1
Computational Logic in Multi-Agent Systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
1
The Semantic Web : A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities
1
Refinement Calculus: A Systematic Introduction (Texts in Computer Science)
1
A Friendly Introduction to Mathematical Logic
1
The Universal Computer: The Road from Leibniz to Turing
1
show moreshow less

Using the Tag

updgenref (7), TUA_Library (2), devogon (2), cirdan747 (1), idiosyncratic (1), nautilus_library (1), fneddy (1), GeneseoAuthors (1), thacher (1)

Aliases and Translations

Includes: computer logic, Computer logic, Computer Logic

Google Books Ngram Viewer

Data from Books Ngram Viewer