Kom i gang
Rask levering med
Trygg betaling med
© 2026 Bookis AS
Norsk
Norge
Region er basert på IP-adresse
Kom i gang
Rask levering med
Trygg betaling med
© 2026 Bookis AS
Norsk
Norge
Region er basert på IP-adresse
Pocket • 1943 • Norsk Bokmål
Av Amalie Skram
0 vurderinger • 0.0 av 5
Om boken
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...Vis mer
Om boken
ISBN
9783540422549
Forlag
Oslo : Gyldendal
Publiseringsår
1943
Språk
Norsk Bokmål
Originaltittel
Samlede verker. 2 : Sjur Gabriel ; To venner ; Lucie
Format
Frakt og retur
Frakt
Brukte bøker sendes av selgeren. Forventet leveringstid etter pakken er sendt er 2-4 dager.
Returer
Kontakt selgeren etter levering.
Omtaler · 0
0 vurderinger • 0.0 av 5
