Isabelle a generic theorem prover

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Paulson, Lawrence C. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin u.a. Springer 1994
Schriftenreihe:	Lecture notes in computer science 828
Schlagworte:	Isabelle (Computer file) > Automatische bewijsvoering > Théorèmes - Démonstration automatique > déduction > langage formel > logique mathématique > logique > métalogique > théorie démonstration > vérification logiciel > Automatic theorem proving > Isabelle
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XVII, 321 S.
ISBN:	3540582444 3-540-58244-4 0387582444 0-387-58244-4