English
Français
login
Menu
Search
Browse Collections
Help
English
Français
login
Details
Title
Chiplunkar, Shardul
Sciper ID
353675
Affiliated labs
SYSTEMF
Publications
Diagrammatic notations for interactive theorem proving
Link to search
All resources
Record appears in
Authorities
>
People
Formats
Format
BibTeX
View
Download
MARCXML
View
Download
TextMARC
View
Download
MARC
View
Download
DublinCore
View
Download
EndNote
View
Download
NLM
View
Download
RefWorks
View
Download
RIS
View
Download