NP-Spec: An executable specification language for solving all problems in NP / Cadoli, Marco; Giovambattista, Ianni; Luigi, Palopoli; Andrea, Schaerf; Domenico, Vasile. - In: COMPUTER LANGUAGES. - ISSN 0096-0551. - 26:(2000), pp. 165-195. [10.1007/3-540-49201-1_2]
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.