- 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 1044 (0.027 seconds)Spelling suggestions: "subject:"cologique."" "subject:"dialogique.""
| 61 |
Zur Semantik anaphorischer Pronomina : Untersuchungen scholastischer und moderner Theorien /Hülsen, C. Reinhard. January 1994 (has links)
Version remaniée de: Diss.--Fachbereich Philosophie und Sozialwissenschaften--Universität Hamburg, 1989.
|
| 62 |
Argument structure in Hindi /Mohanan, Tara, January 1900 (has links)
Diss. Ph. D.--Stanford (Calif.)--Stanford university, 1990. / Bibliogr. p. 246-259. Index.
|
| 63 |
L'architectonique de l'oeuvre logique d'Edmund Husserl : la logique formellePinsonnault-Normand, Louise. 04 December 2024 (has links)
No description available.
|
| 64 |
La compréhension avicennienne des propositions conditionnellesMoursli, Mohamed, Moursli, Mohamed 26 November 2024 (has links)
No description available.
|
| 65 |
Le développement de la hiérarchisation logique des catégoriesDeneault, Joane January 2002 (has links)
No description available.
|
| 66 |
Vérification de modèles floueConstantineau, 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.
|
| 67 |
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.
|
| 68 |
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.
|
| 69 |
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.
|
| 70 |
Evacuation planning using answer set programmingZepeda 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.
|
Page generated in 1.9975 seconds