Graph-based Proof Procedures For Horn Clauses
+ NOK 226,49 i frakt
Graph-based Proof Procedures For Horn Clauses
NOK 774,00
14-dagers returpolicy
Betalingsmåter:
- Merke: Springer Nature B.V
Produktdetaljer
Produktdetaljer
Graph-based Proof Procedures For Horn Clauses
- Merke: Springer Nature B.V
- Kategori: Databehandling & internett
-
Antall sider: 160
-
Format: Paperback
-
Forlag / Selskap: Springer Nature B.V
-
Publiseringsdato: 1990-12-01
-
Forfatter: RAATZ
-
Språk: English
- Fruugo-ID: 556936321-1125175340
- ISBN: 9780817635305
Levering
Leveranse
Sendes i løpet av 24 timer
-
STANDARD: NOK 226,49 - Levering mellom kl tir. 24 november 2026–tor. 26 november 2026
Sendes fra Storbritannia.
Retur
Retur
Vi gjør vårt beste for å sikre at produktene du bestiller, leveres til deg i sin helhet og i samsvar med dine spesifikasjoner. Skulle du likevel motta en ufullstendig bestilling eller andre varer enn dem du bestilte, eller hvis du av en eller annen grunn ikke er fornøyd med bestillingen, kan du returnere bestillingen eller enkeltvarer i bestillingen og motta full refusjon for varene.