Omslagsbild

Summary goes here

Sparad:
Bibliografiska uppgifter
Materialtyp: Bok
Språk:engelska
Ämnen:
Rewriting systems (Computer science)
Computer programming
Algorithms
Systèmes de réécriture (Informatique)
Programmation (Informatique)
Algorithmes
Algebraïsche logica.
Bewijstheorie.
Herschrijfregels.
Computermethoden.
Conference papers and proceedings
Congressen (vorm)
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!

MU Online Library

Beståndsuppgifter i MU Online Library
Signum: missing
Exemplar 0 AVAILABLE
Anmärkningar:
  • json {"id":"a5e4ddda-17c6-5bd9-b32e-252daf1b6553","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261598715","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-01-29T02:34:18.040508347Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-01-29T02:34:18.681619370Z"}