Universität Bremen  
  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   impressum