Αποτελέσματα αναζήτησης - 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 /

Έκδοση 2010

Πίνακας περιεχομένων: “... -- Contributed Papers -- Tableau Calculi for over minspaces -- A Resolution Mechanism for Prenex Gödel Logic...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

2

Computational Logic and Set Theory Applying Formalized Logic to Analysis /

ανά Schwartz, Jacob T., Schwartz, Jacob T., Cantone, Domenico., Omodeo, Eugenio G.
Έκδοση 2011

Πίνακας περιεχομένων: “... Mechanisms -- More on the Structure of the Verifier System -- A Closer Examination of the Sequence...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

3

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

Έκδοση 2006

Πίνακας περιεχομένων: “... and Absoluteness to Computability and Domain Independence -- Datatype-Generic Reasoning -- The Logical Strength...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

4

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

Έκδοση 2008

Πίνακας περιεχομένων: “...Invited Paper -- Plan-Coordination Mechanisms and the Price of Autonomy -- Regular Papers...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

5

Fuzzy handover mechanism /

ανά Tan, See Aik.

Θέματα: “...Fuzzy logic....”

Thesis Βιβλίο

6

Fuzzy Logic Applications in Engineering Science

ανά Harris, J., Harris, J.
Έκδοση 2006

Θέματα: “...Computational intelligence....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

7

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

Έκδοση 2008

Πίνακας περιεχομένων: “... Prolog -- Environment Reuse in the WAM -- Logic Engines as Interactors -- Global Storing Mechanisms...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

8

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

Έκδοση 2008

Πίνακας περιεχομένων: “... of Infinite Time Register Machines -- Many Facets of Complexity in Logic -- On the Computational Power...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

9

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

Έκδοση 2005

Πίνακας περιεχομένων: “...A Portrait of a Scientist: Logic, AI and Politics -- A Portrait of a Scientist: Logic, AI...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

10

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

Έκδοση 2012

Θέματα: “...Computer logic....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

11

Abstract Computing Machines A Lambda Calculus Perspective /

ανά Kluge, Werner., Kluge, Werner.
Έκδοση 2005

Πίνακας περιεχομένων: “... -- Imperative Abstract Machines -- Real Computing Machines....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

12

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

ανά Priestley, Mark., Priestley, Mark.
Έκδοση 2011

Πίνακας περιεχομένων: “...Introduction -- Babbage’s Engines -- Semi-automatic Computing -- Logic, Computability and Formal...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

13

The Calculus of Computation Decision Procedures with Applications to Verification /

ανά Bradley, Aaron R., Bradley, Aaron R., Manna, Zohar.
Έκδοση 2007

Πίνακας περιεχομένων: “...Foundations -- Propositional Logic -- First-Order Logic -- First-Order Theories -- Induction...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

14

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

ανά Pykacz, Jarosław., Pykacz, Jarosław.
Έκδοση 2015

Πίνακας περιεχομένων: “... of many-valued logics -- Fuzzy sets and many-valued logics -- Many-valued logics in quantum mechanics...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

15

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

Έκδοση 2011

Θέματα: “...Computer logic....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

16

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

Έκδοση 2013

Πίνακας περιεχομένων: “...Use of a Canonical Hidden-Variable Space in Quantum Mechanics -- Imperfect Information in Logic...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

17

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

Έκδοση 2013

Πίνακας περιεχομένων: “... -- the theory of matrices -- the use of computer algebra for the investigation of various mathematical...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

18

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

Έκδοση 2011

Θέματα: “...Arithmetic and logic units, Computer....”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

19

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

Έκδοση 2014

Πίνακας περιεχομένων: “... -- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains -- Computing the Topology...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

20

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

Έκδοση 2005

Πίνακας περιεχομένων: “... Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic -- A Generic Network on Chip...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης