Fast delivery with
Safe payments by
© 2026 Bookis AS
English

Paperback • 1982 • English
By Rolf Nossum
0 Ratings • 0.0 of 5
About the book
Book details
ISBN
9788290230642
Publisher
Oslo : [Universitetet i Oslo, Inst.for informatikk]
Published year
1982
Language
English
Original title
Algebraic simplification in the PROVER system
Format
Paperback
Shippping and returns
Shipping
Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.
Returns
Contact the seller after delivery.
Reviews · 0
0 Ratings • 0.0 of 5