Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Villanueva López, Cleva
1  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

A logic programming approach to the verification of functio..:

, In: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming,
Cleva, José Miguel ; Leach, Javier ; López-Fraguas, Francisco J. - p. 9-19 , 2004
Link: https://dl.acm.org/doi/1..
 
1-1