Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Heguiabehere, Juan"'
Autor:
Heguiabehere, Juan Martín.
Proefschrift Universiteit van Amsterdam.
Met lit. opg. - Met samenvatting in het Nederlands.
Met lit. opg. - Met samenvatting in het Nederlands.
Externí odkaz:
http://dare.uva.nl/document/67499
Autor:
Areces, Carlos, Heguiabehere, Juan
Publikováno v:
Methods for Modalities 3-M4M-3
Methods for Modalities 3-M4M-3, 2003, Nancy, France
Methods for Modalities 3-M4M-3, 2003, Nancy, France
hGen is a random CNF (conjunctive normal form) generator of formulas for sublanguages of H(@,\downarrow, A).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::46e14c258f3bec12067862b4e428d965
https://hal.inria.fr/inria-00000317
https://hal.inria.fr/inria-00000317
Autor:
Caracciolo, Caterina, Heguiabehere, Juan, Gangemi, Aldo, Baldassarre, Claudio, Keizer, Johannes, Taconet, Marc
Publikováno v:
Ontology Engineering in a Networked World; 2012, p383-405, 23p
