A perceptron network theorem prover for the propositional calculus / Marc F.J. Drossaers
type: ProductModel
type: Book
type: CreativeWork
description: Ook verschenen als doctoraalscriptie
is part of: p864503024
main entity of page: https://data.bibliotheken.nl/.well-known/genid/f0cce0e2e67dce57c6ad5e082c7b4690
name: A perceptron network theorem prover for the propositional calculus
about: p075603624
about: p075618451
author: p074520113
author: p075396319
language: en
number of pages: 69
issued: 1989