Canlyniadau Chwilio - electronics logic computing mechanism

1

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... -- Contributed Papers -- Tableau Calculi for over minspaces -- A Resolution Mechanism for Prenex Gödel Logic...”
Cael y testun llawn

Electronig eLyfr

2

Computational Logic and Set Theory Applying Formalized Logic to Analysis /

gan Schwartz, Jacob T., Schwartz, Jacob T., Cantone, Domenico., Omodeo, Eugenio G.
Cyhoeddwyd 2011

Tabl Cynhwysion: “... Mechanisms -- More on the Structure of the Verifier System -- A Closer Examination of the Sequence...”
Cael y testun llawn

Electronig eLyfr

3

Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... and Absoluteness to Computability and Domain Independence -- Datatype-Generic Reasoning -- The Logical Strength...”
Cael y testun llawn

Electronig eLyfr

4

Computational Logic in Multi-Agent Systems 8th International Workshop, CLIMA VIII, Porto, Portugal...

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Invited Paper -- Plan-Coordination Mechanisms and the Price of Autonomy -- Regular Papers...”
Cael y testun llawn

Electronig eLyfr

5

Fuzzy handover mechanism /

gan Tan, See Aik.

Pynciau: “...Fuzzy logic....”

Thesis Llyfr

6

Fuzzy Logic Applications in Engineering Science

gan Harris, J., Harris, J.
Cyhoeddwyd 2006

Pynciau: “...Computational intelligence....”
Cael y testun llawn

Electronig eLyfr

7

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Prolog -- Environment Reuse in the WAM -- Logic Engines as Interactors -- Global Storing Mechanisms...”
Cael y testun llawn

Electronig eLyfr

8

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... of Infinite Time Register Machines -- Many Facets of Complexity in Logic -- On the Computational Power...”
Cael y testun llawn

Electronig eLyfr

9

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /

Cyhoeddwyd 2005

Tabl Cynhwysion: “...A Portrait of a Scientist: Logic, AI and Politics -- A Portrait of a Scientist: Logic, AI...”
Cael y testun llawn

Electronig eLyfr

10

Unconventional Computation and Natural Computation 11th International Conference, UCNC 2012, Orléans, France, September 3-7, 2012, Proceedings /

Cyhoeddwyd 2012

Pynciau: “...Computer logic....”
Cael y testun llawn

Electronig eLyfr

11

Abstract Computing Machines A Lambda Calculus Perspective /

gan Kluge, Werner., Kluge, Werner.
Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Imperative Abstract Machines -- Real Computing Machines....”
Cael y testun llawn

Electronig eLyfr

12

A Science of Operations Machines, Logic and the Invention of Programming /

gan Priestley, Mark., Priestley, Mark.
Cyhoeddwyd 2011

Tabl Cynhwysion: “...Introduction -- Babbage’s Engines -- Semi-automatic Computing -- Logic, Computability and Formal...”
Cael y testun llawn

Electronig eLyfr

13

The Calculus of Computation Decision Procedures with Applications to Verification /

gan Bradley, Aaron R., Bradley, Aaron R., Manna, Zohar.
Cyhoeddwyd 2007

Tabl Cynhwysion: “...Foundations -- Propositional Logic -- First-Order Logic -- First-Order Theories -- Induction...”
Cael y testun llawn

Electronig eLyfr

14

Quantum Physics, Fuzzy Sets and Logic Steps Towards a Many-Valued Interpretation of Quantum Mechanics /

gan Pykacz, Jarosław., Pykacz, Jarosław.
Cyhoeddwyd 2015

Tabl Cynhwysion: “... of many-valued logics -- Fuzzy sets and many-valued logics -- Many-valued logics in quantum mechanics...”
Cael y testun llawn

Electronig eLyfr

15

Unconventional Computation 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings /

Cyhoeddwyd 2011

Pynciau: “...Computer logic....”
Cael y testun llawn

Electronig eLyfr

16

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky Essays...

Cyhoeddwyd 2013

Tabl Cynhwysion: “...Use of a Canonical Hidden-Variable Space in Quantum Mechanics -- Imperfect Information in Logic...”
Cael y testun llawn

Electronig eLyfr

17

Computer Algebra in Scientific Computing 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- the theory of matrices -- the use of computer algebra for the investigation of various mathematical...”
Cael y testun llawn

Electronig eLyfr

18

Computer Algebra in Scientific Computing 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings /

Cyhoeddwyd 2011

Pynciau: “...Arithmetic and logic units, Computer....”
Cael y testun llawn

Electronig eLyfr

19

Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... -- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains -- Computing the Topology...”
Cael y testun llawn

Electronig eLyfr

20

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic -- A Generic Network on Chip...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad