Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 22 | << page >> |
Sort by
|
Book
Year: 1968 Publisher: Berlin Heidelberg New York : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logique du premier ordre --- Logique mathematique --- Logique du premier ordre --- Logique mathematique --- Logique du premier ordre
Book
Year: 1967 Publisher: Waltham, Mass. : Blaisdell Pub. Co.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0486683702 Year: 1995 Publisher: New York : Dover,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logique du premier ordre --- First-order logic. --- Logique du premier ordre.
Book
Year: 1967 Publisher: Montréal : Presses de l'Université de Montréal,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logique mathématique --- Logique mathematique --- Logique du premier ordre --- Logique mathematique --- Logique du premier ordre
Book
ISBN: 0520018222 Year: 1971 Publisher: Berkeley : University of California Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
First-order logic --- Logique du premier ordre --- First-order logic.
Dissertation
Year: 1990 Publisher: [S.l.]: [chez l'auteur],
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Algèbre --- Monoïdes. --- Algebra. --- Monoids --- Algebres de boole --- Logique mathematique --- Logique du premier ordre --- Algebres de boole --- Logique mathematique --- Logique du premier ordre
Book
ISBN: 9782213669106 Year: 2012 Publisher: Paris : Fayard : Collège de France,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Les systèmes de gestion de bases de données relationnels servent de médiateurs entre l'individu et la machine, dispensant celui-ci de tâches fastidieuses. La toile, elle, s'est muée en bibliothèque numérique. Un des grands défis des années à venir est de développer les technologies qui permettront de construire la "toile des connaissances" de demain.
First-order logic --- Relational databases --- Logique du premier ordre --- Bases de données relationnelles
Book
Year: 1965 Publisher: Louvain : Paris : Publications universitaires de Louvain ; Béatrice-Nauwelaerts,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logique mathématique --- Logique du premier ordre --- Logique des predicats --- Logique des predicats
Book
ISBN: 0201070286 Year: 1967 Publisher: Wokingham : Addison-Wesley,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematical logic --- Logique mathématique --- Logique du premier ordre --- Théorie des modèles --- Récursivité, Théorie de la --- Théorie des ensembles --- Décidabilité (logique mathématique) --- Logic, Symbolic and mathematical --- Logique mathématique. --- Logique du premier ordre. --- Théorie des modèles. --- Récursivité, Théorie de la. --- Théorie des ensembles.
Book
ISBN: 9780821841495 0821841491 Year: 2006 Publisher: Providence American Mathematical Society
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Group theory --- Mathematical logic --- 510.6 --- 51 <082.1> --- Mathematics--Series --- 510.6 Mathematical logic --- Algebraic logic. --- First-order logic. --- Semigroups. --- Logique algébrique --- Logique du premier ordre --- Semigroupes --- Algebraic logic --- First-order logic --- Semigroups --- Logic, Modern --- Logic, Symbolic and mathematical --- Logique algébrique. --- Logique du premier ordre. --- Semigroupes.
| Listing 1 - 10 of 22 | << page >> |
Sort by
|