Fast delivery with
Safe payments by
© 2026 Bookis AS
English
Norway
Region is based on IP address
Fast delivery with
Safe payments by
© 2026 Bookis AS
English
Norway
Region is based on IP address
Paperback • 1943 • Norwegian Bokmål
By Amalie Skram
0 Ratings • 0.0 of 5
About the book
The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into various disparate groups, each with its own conference: the Conference on Automated Reasoning (CADE), the International Workshop on First-Order Theorem Proving (FTP), and the International Conference on - tomated Reasoning with Analytic Tableau and Related Methods (TABLEAUX) to name three. During 1999, various members of these three communities d- cussed the idea of holding a joint conference in 2001 t...Show more
Book details
ISBN
9783540422549
Publisher
Oslo : Gyldendal
Published year
1943
Language
Norwegian Bokmål
Original title
Samlede verker. 2 : Sjur Gabriel ; To venner ; Lucie
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
