Kundeservice Saxo Neo

Log ind
Opret profil

Saxo Access
BookClub
Om os

Saxo Access
BookClub
Om os
Dansk
Kundeservice
Saxo Neo

Loveland, D.W.

Vis søgefilter

Pris

Sprog

Udgivelsesdato

Format

Sortering

Vis mig kun

BookClub ready

Automated Theorem Proving: A Logical Basis

Automated Theorem Proving: A Logical Basis

Loveland, D.W.

473,39 DKK

Saxo.com A/S (CVR: 29197849)

www.saxo.com
Cookie policy
Terms and conditions

Email: info@saxoaccess.com

Telefon: (+45) 38 15 05 10

Text, graphics, images, sound, and other content on this website are protected by copyright law. Saxo.com A/S reserves all rights to the content, on its own behalf and on behalf of publishers, including the right to use the content for text and data mining, as per copyright law §11b and the DSM Directive's article 4.