FB 3

AG BKB > Publikationen > Suche >

Deutsch
English

Suche nach Veröffentlichungen - Detailansicht

Art der Veröffentlichung:	Artikel in Sammlung
Autor:	Till Mossakowski, Piotr Hoffman, Serge Autexier, Dieter Hutter
Herausgeber:	Peter D. Mosses
Titel:	{CASL} Logic
Buch / Sammlungs-Titel:	CASL Reference Manual
Band:	2960
Kapitel:	ÃV
Serie / Reihe:	Lecture Notes in Computer Science
Erscheinungsjahr:	2004
Verleger:	Springer Verlag, London
Typ:	Part
ISBN:	3-540-21301-5
Internet:	http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,26,38;
Schlagworte:	CASL logic proof
Anmerkung / Hinweis:	Ã‹dited by T. Mossakowski
Status:	Reviewed
Letzte Aktualisierung:	01. 02. 2006

Zurück zum Suchergebnis

Autor: Automatisch generierte Seite

AG BKB

Zuletzt geändert am: 9. Mai 2023