Anand Abhishek und Computer Science - Info zur Person

(1 - 4 von 5

)

Anand Abhishek | SANDS Lab

sands.kaust.edu.sa

Associate Professor of Computer Science

dblp: Abhishek Anand

dblp.uni-trier.de

List of computer science publications by Abhishek Anand

dblp: Anand Abhishek

dblp.uni-trier.de

List of computer science publications by Anand Abhishek

Towards a Formally Verified Proof Assistant - Anand Abhishek

orbilu.uni.lu

co-author : Anand, Abhishek [Cornell University > Computer Science Department ]. Rahli, Vincent · mailto [Cornell University > Computer Science Department]. Publication date : Main document title : Interactive Theorem Proving - 5th ...

Alle Infos zum Namen "Anand Abhishek"

Verwandte Suchanfragen zu Anand Abhishek

Personen
Vorname "Anand" (956)
Name "Abhishek" (16)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Anand Abhishek und Computer Science Person-Info

Anand Abhishek | SANDS Lab

dblp: Abhishek Anand

dblp: Anand Abhishek

Towards a Formally Verified Proof Assistant - Anand Abhishek

Alle Infos zum Namen "Anand Abhishek"