Detailinformationen

Matsumoto, Kazuo: Decision Procedure for Modal Sentential Calculus S3 ; Sonderdruck aus: Osaka mathematical Journal, Vol. 12, No. 1  Universitäts- und Landesbibliothek Münster  Nachlass Scholz  Signatur: N. Scholz 105,056

Funktionen

• Im Findbuch anzeigen
• eadDE-611-HS-4280956In Merkliste aufnehmen

Matsumoto, Kazuo: Decision Procedure for Modal Sentential Calculus S3 ; Sonderdruck aus: Osaka mathematical Journal, Vol. 12, No. 1  Universitäts- und Landesbibliothek Münster ; Nachlass Scholz

Signatur: N. Scholz 105,056

Ohne Ort, 1960. - Deutsch. - Werk

Pfad: Nachlass Scholz / Kapsel 105: 3. Artikel 1 - Kurztitel

DE-611-HS-4280956, http://kalliope-verbund.info/DE-611-HS-4280956

Erfassung: 27. Juni 2025 ; Modifikation: 27. Juni 2025 ; Synchronisierungsdatum: 2025-10-09T16:13:43+01:00