בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
computing mechanism » coping mechanism, routing mechanism, coupling mechanism
electronics logic » electronic logic, electronics topics, electronics basic
logic computing » nordic computing, basic computing, logic computer
computing mechanism » coping mechanism, routing mechanism, coupling mechanism
electronics logic » electronic logic, electronics topics, electronics basic
logic computing » nordic computing, basic computing, logic computer
1
יצא לאור 2010
תוכן הענינים:
“... -- Contributed Papers -- Tableau Calculi for over minspaces -- A Resolution Mechanism for Prenex Gödel Logic...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
תוכן הענינים:
“... Mechanisms -- More on the Structure of the Verifier System -- A Closer Examination of the Sequence...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2006
תוכן הענינים:
“... and Absoluteness to Computability and Domain Independence -- Datatype-Generic Reasoning -- The Logical Strength...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים:
“...Invited Paper -- Plan-Coordination Mechanisms and the Price of Autonomy -- Regular Papers...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
6
7
יצא לאור 2008
תוכן הענינים:
“... Prolog -- Environment Reuse in the WAM -- Logic Engines as Interactors -- Global Storing Mechanisms...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2008
תוכן הענינים:
“... of Infinite Time Register Machines -- Many Facets of Complexity in Logic -- On the Computational Power...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2005
תוכן הענינים:
“...A Portrait of a Scientist: Logic, AI and Politics -- A Portrait of a Scientist: Logic, AI...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
11
תוכן הענינים:
“... -- Imperative Abstract Machines -- Real Computing Machines....”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
תוכן הענינים:
“...Introduction -- Babbage’s Engines -- Semi-automatic Computing -- Logic, Computability and Formal...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
תוכן הענינים:
“...Foundations -- Propositional Logic -- First-Order Logic -- First-Order Theories -- Induction...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
תוכן הענינים:
“... of many-valued logics -- Fuzzy sets and many-valued logics -- Many-valued logics in quantum mechanics...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
16
יצא לאור 2013
תוכן הענינים:
“...Use of a Canonical Hidden-Variable Space in Quantum Mechanics -- Imperfect Information in Logic...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2013
תוכן הענינים:
“... -- the theory of matrices -- the use of computer algebra for the investigation of various mathematical...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2011
נושאים:
“...Arithmetic and logic units, Computer....”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2014
תוכן הענינים:
“... -- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains -- Computing the Topology...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2005
תוכן הענינים:
“... Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic -- A Generic Network on Chip...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני