MPG.eBooks - Staff View: Theorem Proving in Higher Order Logics

Read Now

Bibliographic Details
Main Author:	Gunter, Elsa L
Other Authors:	Felty, Amy
Format:	eBook
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 1997
Series:	Lecture Notes in Computer Science
Subjects:	Computer Science Logic Design Logic, Symbolic And Mathematical Software Engineering Logics And Meanings Of Programs Mathematical Logic And Formal Languages Mathematical Logic And Foundations
Online Access:	http://dx.doi.org/10.1007/BFb0028381?nosfx=y
Collection:	Lecture Notes in Computer Science - Collection details see MPG.ReNa


LEADER	01238nmm a2200337 u 4500
001	EB000287878
003	EBX01000000000000000053562
005	00000000000000.0
007	cr\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|
008	101003 \|\|\|
020			\|a 9783540633792
020			\|a 978-3-540-63379-2
100	1		\|a Gunter, Elsa L
245	0	0	\|a Theorem Proving in Higher Order Logics \|h Elektronische Ressource \|b 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings \|c by Elsa L Gunter, Amy Felty
260			\|a Berlin, Heidelberg \|b Springer Berlin Heidelberg \|c 1997
300			\|b v. digital
700	1		\|a Felty, Amy
989			\|b LNCS \|a Lecture Notes in Computer Science
490	0		\|a Lecture Notes in Computer Science
856	4	0	\|u http://dx.doi.org/10.1007/BFb0028381?nosfx=y \|x Verlag \|3 Volltext
082	0		\|a 004
650		4	\|a Computer science
650		4	\|a Logic design
650		4	\|a Logic, Symbolic and mathematical
650		4	\|a Software engineering
650		4	\|a Computer Science
650		4	\|a Logic Design
650		4	\|a Logics and Meanings of Programs
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Mathematical Logic and Foundations
650		4	\|a Software Engineering