NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 637
  • 233
  • 62
  • 30
  • 10
  • 8
  • 3
  • 3
  • 2
  • 2
  • 1
  • Tagged with
  • 1021
  • 355
  • 253
  • 236
  • 152
  • 143
  • 109
  • 102
  • 84
  • 82
  • 82
  • 81
  • 78
  • 77
  • 73
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 61 to 70 of 1021 (0.036 seconds)

Spelling suggestions: "subject:"alogique"" "subject:"anlogique""

61

Argument structure in Hindi /

Mohanan, Tara, January 1900 (has links)
Diss. Ph. D.--Stanford (Calif.)--Stanford university, 1990. / Bibliogr. p. 246-259. Index.
62

Le développement de la hiérarchisation logique des catégories

Deneault, Joane January 2002 (has links)
No description available.
Inclusion
Hiérarchie
Logique des classes
Déduction
63

Vérification de modèles floue

Constantineau, Ivan January 2006 (has links) (PDF)
Dans ce mémoire, on généralise la notion de vérification automatique de modèles au contexte flou. On définit des structures de Kripke floues et on leur associe des logiques temporelles floues, dénotées NCTL * et NCTL. On vérifie que les opérateurs de la logique NCTL sont monotones et qu'il y a moyen de faire de la vérification de modèles dans ce contexte. On en fait alors la démonstration.
Logique floue
Model-checking (Informatique)
64

Linear logic based calculi for object Petri nets /

Farwer, Berndt. January 1900 (has links)
Diss.--Informatik--Universität Hamburg, 1999. / Bibliogr. p. 175-184. Index.
65

Improving proof search in intuitionistic propositional logic /

Weich, Klaus. January 1900 (has links)
Diss.--Mathematik--München--Ludwig-Maximilians Universität, 2001. / Notes bibliogr. Bibliogr. 1 p. Index.
66

Kann Fabius bei einer Seeschlacht sterben ? : die Geschichte der Logik des Kontingenzproblems von Aristoteles, "De interpretatione" 9 bis Cicero, "De fato /

Kreter, Fabian. January 1900 (has links)
Texte remanié de: Diss.--Fakultät für Philologie--Bochum, 2006--Ruhr-Universität.
67

Evacuation planning using answer set programming

Zepeda Cortès, Claudia Laurini, Robert Sol Martínez, David January 2006 (has links)
Thèse doctorat : Informatique : Villeurbanne, INSA : 2005. Thèse doctorat : Informatique : Universidad de las Américas-Puebla : 2005. / Thèse soutenue en co-tutelle. Thèse rédigée en français, en anglais et en espagnol. Titre provenant de l'écran-titre. Bibliogr. p. 229-236.
68

Enjeux et limites des théories contemporaines de l' action de la praxéologie à la pragmatique /

Leguérinel, Luc Poulain, Jacques January 2009 (has links) (PDF)
Reproduction de : Thèse de doctorat : Philosophie : Paris8 : 2007. / Titre provenant de l'écran-titre. Bibliogr. f. 349-360.
69

Esthétique et modes opératoires en mathématiques une exploration goodmanienne /

Jullien, Caroline Heinzmann, Gerhard January 2006 (has links) (PDF)
Thèse de doctorat : Philosophie : Nancy 2 : 2006. / Bibliogr. Index.
70

Traitement logique de l'intégrité et de l'organisation sémantique des connaissances dans les systèmes de gestion de bases de données

Olivares, Judith. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1986. / Titre provenant de l'écran-titre. Bibliogr. p. [159]-163.

Page generated in 0.0411 seconds