Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

DECISION PROBLEMS (MATHEMATICAL LOGIC)

Subject

Browse all works related to DECISION PROBLEMS (MATHEMATICAL LOGIC).

Home
Subject
DECISION PROBLEMS (MATHEMATICAL LOGIC)

"11" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Logic synthesis and verification algorithms

Logic synthesis and verification algorithms

by Hachtel, Gary D., Somenzi, Fabio

0 Type: Book

Logic synthesis and verification algorithms

Logic synthesis and verification algorithms

by Hachtel, Gary D., Somenzi, Fabio

0 Type: Book

Hilbert's tenth problem

Hilbert's tenth problem: relations with arithmetic and algebraic geometry …

by Denef, Jan, Workshop on Hilbert's Tenth Problem: Relations with Arithmetic and Algebraic Geometry, (Gent)

fromContemporary Mathematics

0 Type: Book

Hilbert's tenth problem

Hilbert's tenth problem: relations with arithmetic and algebraic geometry …

by Denef, Jan, Workshop on Hilbert's Tenth Problem: Relations with Arithmetic and Algebraic Geometry, (Gent)

fromContemporary Mathematics

0 Type: Book

Cornerstones of undecidability

Cornerstones of undecidability

by Rozenberg, Grzegorz, Salomaa, Arto

fromPrentice-Hall International Series in Computer Science

0 Type: Book

Logique, informatique et paradoxes

Logique, informatique et paradoxes

by Delahaye, Jean-Paul

fromBibliothèque scientifique

0 Type: Book

Logique, informatique et paradoxes

Logique, informatique et paradoxes

by Delahaye, Jean-Paul

fromBibliothèque Pour la science

0 Type: Book

Borel liftings of Borel sets

Borel liftings of Borel sets: some decidable and undecidable statements

by Debs, Gabriel, Saint Raymond, Jean

fromMemoirs of the American Mathematical Society

0 Type: Book

Exponential genus problems in one-relator products of groups

Exponential genus problems in one-relator products of groups

by Duncan, A. J., (Andrew James)

fromMemoirs of the American Mathematical Society

0 Type: Book

Martin Davis on computability, computational logic, and mathematical foundations

Martin Davis on computability, computational logic, and mathematical foundations

fromOutstanding contributions to logic

0 Type: Book

Decidability and Boolean representations

Decidability and Boolean representations: decidable varieties with modular congruence latti…

by Burris, Stanley, McKenzie, Ralph

fromMemoirs of the American mathematical Societ

0 Type: Book

Subjects

DECISION PROBLEMS (MATHEMATIC… (11) ENTSCHEIDUNGSPROBLEME (MATHEM… (11) PROBLÈMES DE DÉCISION (LOGIQU… (11) ALGORITHMIC COMPLEXITY (MATHE… (4) ALGORITHMISCHE KOMPLEXITÄT (M… (4) COMPLEXITÉ ALGORITHMIQUE (MAT… (4) INFERENCE SEARCH + PROOF THEO… (3) RECHERCHE D'INFÉRENCE + THÉOR… (3) SCHLUSSVERFAHREN + BEWEISTHEO… (3) ALGORITHMES EN THÉORIE DES GR… (2) ALGÈBRES BOOLÉENNES ET ANNEAU… (2) AUTOMATES D'ÉTAT FINI (THÉORI… (2) Algebraic Geometry (2) Algebraische Geometrie (2) BOOLEAN RINGS AND BOOLEAN ALG… (2) BOOLESCHE RINGE UND BOOLESCHE… (2) CIRCUITS LOGIQUES (HARDWARE) (2) DIOPHANTINE EQUATIONS (NUMBER… (2) DIOPHANTISCHE GLEICHUNGEN (ZA… (2) ENDLICHE AUTOMATEN (THEORIE D… (2) FINITE AUTOMATA (CONTROL SYST… (2) GRAPH ALGORITHMS + GEOMETRIC … (2) GRAPHENALGORITHMEN + GEOMETRI… (2) GÖDEL THEOREMS (MATHEMATICAL … (2) GÖDELSCHE SÄTZE (MATHEMATISCH… (2) Géométrie algébrique (2) HÖCHSTINTEGRIERTE SCHALTUNGEN… (2) INTÉGRATION À TRÈS GRANDE ÉCH… (2) LOGIC DESIGN + LOGIC CIRCUITS… (2) LOGICAL SEMANTICS + SEMANTIC … (2) LOGISCHE SEMANTIK + SEMANTISC… (2) LOGISCHER ENTWURF + LOGISCHE … (2) Logique mathématique (2) MACHINES DE TURING (MACHINES … (2) MODEL THEORY (MATHEMATICAL LO… (2) MODELLTHEORIE (MATHEMATISCHE … (2) Mathematical logic (2) Mathematische Logik (2) POPULAR SCIENCE (2) POPULARISIERUNG DER WISSENSCH… (2) SCIENCE POPULAIRE (2) STABILITY + RELIABILITY + CHE… (2) STABILITÄT + ZUVERLÄSSIGKEIT … (2) STABILITÉ + FIABILITÉ + CONTR… (2) SÉMANTIQUE LOGIQUE + ANTINOMI… (2) THÉORIE DES MODÈLES (LOGIQUE … (2) THÉORÈMES DE GÖDEL (LOGIQUE M… (2) TURING MACHINES (UNIVERSAL MA… (2) TURINGMASCHINEN (UNIVERSELLE … (2) VERY LARGE SCALE INTEGRATED C… (2) ÉQUATIONS DIOPHANTIENNES (THÉ… (2) ALGORITHMEN UND BERECHENBARE … (1) ALGORITHMES ET FONCTIONS CALC… (1) ALGORITHMIC PROBLEMS IN GROUP… (1) ALGORITHMISCHE PROBLEME IN DE… (1) ALGORITHMS AND COMPUTABLE FUN… (1) AUTOMATED THEOREM PROVING (MA… (1) AUTOMATISCHE BEWEISFÜHRUNG (M… (1) Algorithmus (1) Arithmetical algebraic geomet… (1) BOREL SETS (MEASURE THEORY) (1) BORELSCHE MENGEN (MASSTHEORIE) (1) Berechnungstheorie (1) Borel sets (1) CALCULS QUANTIQUES (MACHINES … (1) Computable functions (1) Constructibility (1) DARSTELLUNGEN BOOLESCHER ALGE… (1) Davis, Martin (1) Descriptive set theory (1) Dixième problème de Hilbert (1) DÉMONSTRATION AUTOMATIQUE (LO… (1) ENSEMBLES DE BOREL (THÉORIE D… (1) ERZEUGENDE SYSTEME UND FAKTOR… (1) Ensembles boréliens (1) Equations, Quadratic (1) FREE PRODUCTS (GROUP THEORY) (1) FREIE PRODUKTE (GRUPPENTHEORI… (1) Fonctions calculables (1) Free products (1) GENERATOR SYSTEMS AND FACTORI… (1) Geometric group theory (1) Geometry, Algebraic (1) Géométrie algébrique arithmét… (1) Hilbert's tenth problem (1) Logiksynthese (1) Logischer Entwurf (1) MENGENTHEORETISCHE TOPOLOGIE (1) PHILOSOPHIE DER MATHEMATIK (1) PHILOSOPHIE DES MATHÉMATIQUES (1) PHILOSOPHY OF MATHEMATICS (1) PROBLÈMES ALGORITHMIQUES DANS… (1) PRODUITS LIBRES (THÉORIE DES … (1) Prise de décision (Statistiqu… (1) QUANTENBERECHNUNGEN (UNIVERSE… (1) QUANTUM COMPUTING (UNIVERSAL … (1) RECURSION THEORY (MATHEMATICS) (1) REKURSIONSTHEORIE (MATHEMATIK) (1) REPRESENTATIONS OF BOOLEAN AL… (1) REPRÉSENTATIONS D'ALGÈBRES BO… (1) SET-THEORETIC TOPOLOGY (1) SYSTÈMES GÉNÉRATEURS ET FACTO… (1) Statistical decision (1) THÉORIE DE LA RÉCURSIVITÉ (MA… (1) THÉORIE DES ENSEMBLES APPLIQU… (1) Théorie descriptive des ensem… (1) Théorie géométrique des group… (1) Unentscheidbarkeit (1) VLSI (1) Verifikation (1) Équations du second degré (1)

Contributor

Delahaye, Jean-Paul (2) Denef, Jan (2) Hachtel, Gary D. (2) Somenzi, Fabio (2) Workshop on Hilbert's Tenth P… (2) Burris, Stanley (1) Debs, Gabriel (1) Duncan, A. J., (Andrew James) (1) McKenzie, Ralph (1) Rozenberg, Grzegorz (1) Saint Raymond, Jean (1) Salomaa, Arto (1)

Publisher

American mathematical Society (5) Kluwer (2) Pour la Science (2) Prentice Hall (1) Springer (1)

Year

2016 (1) 2007 (2) 2000 (2) 1999 (1) 1996 (2) 1995 (1) 1994 (1) 1981 (1)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type