|
rdfs:label
|
"Building logic toolboxes / Juan Martín Heguiabehere"
|
|
schema:name
|
"Building logic toolboxes"
|
|
schema:author
|
Heguiabehere, Juan Martín
|
|
Institute for Logic, Language and Computation (Amsterdam)
|
|
schema:description
|
"Proefschrift Universiteit van Amsterdam"
|
|
schema:sameAs
|
<http://www.worldcat.org/oclc/66422199>
|
|
schema:mainEntityOfPage
|
<https://data.bibliotheken.nl/.well-known/genid/0b1641c6d491afe987da409daf503856>
|
|
kbdef:hasDerivative
|
Building logic toolboxes / Juan Martín Heguiabehere
|
|
http://purl.org/dc/terms#issued
|
"2003"
|
|
schema:about
|
computerlinguïstiek
|
|
<http://data.bibliotheken.nl/id/thes/p077601874>
|
|
Formele logica
|
|
wiskundige logica
|
|
Automatische bewijsvoering
|
|
Modale logica
|
|
<http://data.bibliotheken.nl/id/thes/p077605179>
|
|
schema:inLanguage
|
"en"
|
|
schema:isPartOf
|
ILLC dissertation series
|
|
schema:isbn
|
"9057761157"
|
|
schema:numberOfPages
|
180
|
|
schema:publication
|
<https://data.bibliotheken.nl/.well-known/genid/367f43d29cd8fde918aafe6b7e247354>
|