Higher order logic theorem proving and its applications

Sonraí Bibleagrafaíochta
Údair Eile: Claesen, Luc J M (Eagarthóir)
Formáid: Printed Book
Foilsithe: North-Holland Publishing Co., Amsterdam 1993
Ábhair:
Computer programming

Míreanna Comhchosúla