Búsqueda avanzada
FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING
SPRINGER NATURE B.V.

FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING

MELVIN FITTING
26-06-2013
9781461275152
INGLES
im.bajo demanda
PVP
121.36 € IBD

Más libros del autor

FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING

SPRINGER NATURE B.V.

FIRST-ORDER MODAL LOGIC

MELVIN FITTING/RICHARD L. MENDELSOHN MELVIN FITTING/RICHARD L. MENDELSOHN

9783031407130

156.24€
FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING

SPRINGER NATURE B.V.

FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING

MELVIN FITTING

9781461275152

121.36€
FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING

COLLEGE PUBLICATIONS

INCOMPLETETUDE NA TERRA DOS CONJUNTOS

MELVIN FITTING/JAIME RAMOS MELVIN FITTING/JAIME RAMOS

9781848901094

21.70€
FIRST-ORDER LOGIC AND AUTOMATED THEOREM PROVING

CAMBRIDGE UNIVERSITY PRESS

JUSTIFICATION LOGIC

MELVIN FITTING/SERGEI ARTEMOV MELVIN FITTING/SERGEI ARTEMOV

9781108424912

183.27€