E-LIB Suche - Ergebnisse für: Ait-Ali, Tahar - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Verification and Evaluation of Computer and Communication S..

11th International Conference, VECoS 2017, Montreal, QC, Ca... Lecture Notes in Computer Science ; 10466;SpringerLink, Bücher

Mili, Ali ; Tahar, Sofiène ; Boucheneb, Hanifa , 2017

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

2

Theorem proving in higher order logics

21st international conference, TPHOLs 2008, Montreal, Canad... Lecture notes in computer science ; 5170

Ait Mohamed, Otmane ; Muñoz, César ; Tahar, Sofiène , 2008

Link: http://dx.doi.org/10.100..

1-2