|
rdfs:label
|
"Building logic toolboxes / Juan Martín Heguiabehere"
|
|
schema:name
|
"Building logic toolboxes"
|
|
schema:author
|
Heguiabehere, Juan Martín
|
|
schema:description
|
"Proefschrift Universiteit van Amsterdam"
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/66422199>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/22785fa2d465d73921f899519e266c21>
|
|
http://purl.org/dc/terms#issued
|
"2003"
|
|
schema:about
|
<http://data.bibliotheken.nl/id/thes/p077601874>
|
|
<http://data.bibliotheken.nl/id/thes/p077605179>
|
|
Modale logica
|
|
Automatische bewijsvoering
|
|
Formele logica
|
|
schema:associatedMedia
|
<http://dare.uva.nl/document/67499>
|
|
schema:bookFormat
|
schema:EBook
|
|
schema:inLanguage
|
"en"
|
|
schema:isBasedOn
|
Building logic toolboxes / Juan Martín Heguiabehere
|
|
schema:isPartOf
|
ILLC dissertation series
|
|
schema:isbn
|
"9057761157"
|
|
schema:numberOfPages
|
180
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/946f29b7947dc8edc0a59bb6ad361def>
|