Actions for Extension de la logique d'ordre supérieur avec le soustypage par prédicats [electronic resource] : application à PVS

Email RIS file
Bookmark
Report an Issue

Extension de la logique d'ordre supérieur avec le soustypage par prédicats [electronic resource] : application à PVS / Gilbert, Frédéric

Author
Gilbert, Frédéric
Published
[S.l.] : University Sorbonne Paris Cité, 2018.
Access Online

Availability

I Want It
I Want It

Finding items...

Restrictions on Access
License restrictions may limit access.
Genre(s)
Note
Title from content provider.
View MARC record | catkey: 26511238