Analysis and representation of equational proofs generated by a distributed completion based proof system:
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Denzinger, Jörg (VerfasserIn), Schulz, Stephan (VerfasserIn)
Format: Buch
Sprache:Nichtbestimmte Sprache
Veröffentlicht: Kaiserslautern 1994
Schriftenreihe:Seki-Report 1994,5
Umfang:100 S.