First-order logic and automated theorem proving

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	New York : Springer , 1990
Omfang	XIII, 242 s. : ill.
Emner	(Matematikk) Automatic theorem proving Logic, Symbolic and mathematical Bevisføring - Databehandling matematisk logikk symbolsk
ISBN	0387972331. - 3540972331

Biblioteksøk