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

Booleen

Subject

Browse all works related to Booleen.

Home
Subject
Booleen

"9" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Discrete mathematical structures

Discrete mathematical structures

by Kolman, Bernard, Busby, Robert C., Ross, Sharon Cutler

0 Type: Book

Model theory

Model theory

by Hodges, Wilfrid

fromEncyclopedia of mathematics and its applications

0 Type: Book

Algebre et topologie booleennes

Algebre et topologie booleennes

by Ponasse, Daniel, Carrega, Jean-Claude

0 Type: Book

Inductive logic programming

Inductive logic programming

by Muggleton, Stephen

fromApic series

0 Type: Book

Computational learning theory

Computational learning theory: an introduction

by Biggs, Norman, Anthony, Martin

fromCambridge tracts in theoretical computer science

0 Type: Book

Computational complexity

Computational complexity

by Papadimitriou, Christos H.

0 Type: Book

Constraint logic programming

Constraint logic programming: selected research

by Colmerauer, Alain, Benhamou, Frédéric

fromLogic programming

0 Type: Book

A beginner's further guide to mathematical logic

A beginner's further guide to mathematical logic

by Smullyan, Raymond M., Smullyan, Raymond M.

0 Type: Book

Introduction to mathematical logic

Introduction to mathematical logic

by Walicki, Michał

0 Type: Book

Subjects

Booleen (9) Logique (7) Algorithme (5) Mathematique (5) Theorie (5) Algèbre (4) Systeme (4) Boole (3) Ensemble (3) Fonction (3) Langage (3) Lineaire (3) Modele (3) RELATION (3) Structure (3) TRAITEMENT (3) Algebrique (2) Apprentissage (2) Apprentissage automatique (2) Calcul (2) Decision (2) Espace (2) GENTZEN (2) Horn (2) Informatique (2) Logic programming (2) Logic, Symbolic and mathemati… (2) Logique symbolique et mathéma… (2) MACHINE (2) Machine learning (2) PREUVE (2) PROGRAMME (2) PROPOSITIONNEL (2) Programmation (2) Programmation logique (2) Proposition (2) RESEAU (2) combinatoire (2) formule (2) groupe (2) symbole (2) Abelien (1) Algebra, Boolean (1) Algèbre de Boole (1) Application (1) Approximation (1) Arithmétique (1) Atome (1) Automatise (1) Axiomatique (1) Binaire (1) Boole, Algèbre de (1) Bruit (1) CLP (1) CONSISTENCE (1) CRAIG (1) Cal (1) Canonique (1) Cardinalite (1) Categoricite (1) Catégorie (1) Champ (1) Chip (1) Circuit (1) Classification (1) Clint (1) Codage (1) Cognition -- Informatique (1) Cognition -- Modèles mathémat… (1) Complet (1) Complexe (1) Complexite (1) Complexité algorithmique (1) Complexité de calcul (Informa… (1) Computational complexity (1) Computational learning theory (1) Computer science -- Mathemati… (1) Conception (1) Constraint programming (Compu… (1) Construction (1) Cryptographie (1) DIGRAPHE (1) DOUBLET (1) Dimension (1) Discret (1) Domaine (1) Dynamique (1) ECHEC (1) EULER (1) EXHAUSTIVITÉ (1) Enumeratif (1) Environnement (1) Expansion (1) FOL (1) FOLDFINCH (1) FREDGE (1) Fini (1) Formel (1) Fraisse (1) GALORE (1) GRAPHIQUE (1) Geometrie (1) Graphe (1) Gödel (1) HENKIN (1) HERBRAND (1) HOMOMORPHISME (1) Hasard (1) Hilbert (1) Histoire (1) Histoire logique (1) IMPLANTATION (1) Iii (1) Inductif (1) Information (1) Informatique -- Mathématiques (1) Intelligence artificielle (1) Interactif (1) Interpretation (1) Intervalle (1) Ir (1) Itou (1) Jeu (1) LOGARITHMIQUE (1) Magique (1) Maille (1) Methode (1) Model theory (1) Modèles mathématiques (1) Modèles, Théorie des (1) Monotonique (1) Métamathématique (1) NON (1) Numerique (1) Operateur (1) Ordinateur (1) Ordre (1) Oriente (1) PRENEX (1) PROCEDURE (1) PROLOG (1) Paradoxe (1) Parallele (1) Partiel (1) Polynomial (1) Predicat (1) Probabiliste (1) Programmation logique -- Cong… (1) Programmation par contraintes (1) Prolog (langage de programmat… (1) Qualitatif (1) REEL (1) RESOLUTION (1) Representation (1) Rlgg (1) RÉCURSION (1) SOLIDITÉ (1) Saturation (1) Semi-groupe (1) Stone (1) Syntaxe (1) Sémantique (1) Technique (1) Theoreme (1) Théorie de l'apprentissage in… (1) Théorie des modèles (1) Topologie (1) Troncation (1) Troncature (1) Turing (1) VC++ (1) Vapnik-Chervonenkis (1) Variation (1) WARSHALL (1) algorithmique (1) arbre (1) automorphisme (1) calcul parallèle (1) classe NP (1) complexité algorithme (1) complétude (1) contrainte (1) datalog (1) décidabilité (1) induction (1) inversión (1) lemme (1) monoïde (1) programmation avec contrainte (1) programmation en logique (1) programmation logique -- prog… (1) raisonnement (1) symbolique (1) theorie modele (1) unification (1)

Contributor

Anthony, Martin (1) Benhamou, Frédéric (1) Biggs, Norman (1) Busby, Robert C. (1) Carrega, Jean-Claude (1) Colmerauer, Alain (1) Hodges, Wilfrid (1) Kolman, Bernard (1) Muggleton, Stephen (1) Papadimitriou, Christos H. (1) Ponasse, Daniel (1) Ross, Sharon Cutler (1) Smullyan, Raymond M. (1) Walicki, Michał (1)

Publisher

Cambridge University Press (2) World Scientific (2) Academic Press (1) Addison-Wesley (1) MIT Press (1) Masson (1) Pearson (1)

Year

2017 (2) 2009 (1) 1994 (1) 1993 (2) 1992 (2) 1979 (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