E-LIB Suche - Ergebnisse für: Carmo, José D. - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Carpal Tunnel Anthropometrics Using Acrylic Casts: A Cadave..:

Carmo, José D. ; Cardoso, Rui C. ; Silva, Helder V..
HAND. , 2023

Link: https://doi.org/10.1177/..

2

Carmo and Jones' logic for contrary-to-duty obligations rev..:

Carmo, José ; Jones, Andrew J I
Journal of Logic and Computation. 32 (2022) 7 - p. 1352-1364 , 2022

Link: https://doi.org/10.1093/..

3

Invasive aspergillosis of the central nervous system after ..:

Lacerda, João F. ; Martins, Carlos ; Carmo, José A....
Journal of Infection. 51 (2005) 3 - p. e191-e194 , 2005

Link: https://doi.org/10.1016/..

4

Adaptive forecasting of irregular demand processes:

Carmo, José L. ; Rodrigues, António J.
Engineering Applications of Artificial Intelligence. 17 (2004) 2 - p. 137-143 , 2004

Link: https://doi.org/10.1016/..

5

Toward a uniform logical representation of different kinds ..:

, In: Qualitative and Quantitative Practical Reasoning; Lecture Notes in Computer Science,

Demolombe, Robert ; Jones, Andrew J. I. ; Carmo, Jose - p. 614-620 , 1997

Link: https://doi.org/10.1007/..

6

Deontic logic, agency and normative systems

Workshops in Computing

Carmo, José ; Brown, Mark A. , 1996

Exemplar: Zentrale:E02 a inf 410 i/154

7

Deontic Database Constraints, Violation and Recovery:

Carmo, José ; Jones, Andrew J. I.
Studia Logica: An International Journal for Symbolic Logic. 57 (1996) 1 - p. 139-165 , 1996

Link: https://www.jstor.org/st..

8

On Completeness of a Positional Interval Logic with Equalit..:

LI, RENWEI ; CARMO, JOSÉ
Logic Journal of IGPL. 3 (1995) 5 - p. 765-790 , 1995

Link: https://doi.org/10.1093/..

9

Ockhamist Computational Logic: Past-Sensitive Necessitation..:

ZANARDO, ALBERTO ; CARMO, JOSÉ
Journal of Logic and Computation. 3 (1993) 3 - p. 249-268 , 1993

Link: https://doi.org/10.1093/..

10

Formal techniques for systems specification and verificatio:

Carmo, José ; Sernadas, Amílcar
Information Systems. 16 (1991) 3 - p. 245-272 , 1991

Link: https://doi.org/10.1016/..

11

Branching versus linear logics yet again:

Carmo, José ; Sernadas, Amílcar
Formal Aspects of Computing. 2 (1990) 1 - p. 24-59 , 1990

Link: https://doi.org/10.1007/..

12

DIMENSÃO DA PRESENÇA DE DIFERENTES PADRÕES METODOLÓGICOS NO..:

Carmo, José Manuel
Teoria e Prática da Educação. 25 (2022) 3 - p. 03-18 , 2022

Link: https://doi.org/10.4025/..

13

Talent Identification and Development in Male Futsal: A Sys..:

Mendes, Diogo ; Travassos, Bruno ; Carmo, José M....
International Journal of Environmental Research and Public Health. 19 (2022) 17 - p. 10648 , 2022

Link: https://doi.org/10.3390/..

14

Contributo para a caracterização dos modelos pedagógicos no..:

Carmo, José Manuel
Revista de Ensino de Ciências e Matemática. 12 (2021) 3 - p. 1-16 , 2021

Link: https://doi.org/10.26843..

15

A língua portuguesa entre as línguas de Timor-Leste: um est..:

Ramos, Rui ; Carmo, José do
Revista Brasileira de Linguística Aplicada. 20 (2020) 3 - p. 443-463 , 2020

Link: https://doi.org/10.1590/..

1-15

Mehr Literatur finden