Gentzenov kalkulus a automatické dokazovanie formúl predikátovej logiky
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Manuscrito Libro |
| Lenguaje: | eslovaco |
| Publicado: |
Bratislava :
STU v Bratislave FEI,
2023
|
| Materias: | |
| Acceso en línea: | https://opac.crzp.sk/?fn=detailBiblioFormChildIB0FQ&sid=C0DEB8E07572332BA2250915805F&seo=CRZP-detail-kniha |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|