Proof and Computation

Materias

• Logic programming
• Logic, symbolic and mathematical

Ediciones (4)

• Proof and Computation (2018)

  World Scientific Publishing Co Pte Ltd · inglés · ISBN 9789813270930

• Proof and Computation (2012)

  Springer London, Limited · inglés · ISBN 9783642793615

• Proof and Computation (2011)

  Springer · ISBN 9783642793639

• Proof and Computation (1995)

  Island Press · inglés · ISBN 9783642793622

Más obras de Helmut Schwichtenberg