Logical foundations of computer science : 4th international symposium, LFCS'97, Yaroslavl, Russia, J - detaljert visning

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Berlin : Springer , c1997
Omfang	IX, 429 s. : fig.
Emner	Beregnbarhetsteori Databehandling Databehandling - Matematiske modeller Horn-logikk Vis mer... Logikk Logikkprogrammering Omskrivning Rekursjon Verifikasjon
ISBN	3540630457

Biblioteksøk