Gentzenov kalkulus a automatické dokazovanie formúl predikátovej logiky

Na minha lista:

Detalhes bibliográficos
Autor principal:	Vlčková, Jana (Author)
Outros Autores:	Kollár, Jozef (Thesis advisor)
Formato:	Manuscrito Livro
Idioma:	eslovaco
Publicado em:	Bratislava : STU v Bratislave FEI, 2023
Assuntos:	Gentzenov kalkulus automatické dokazovanie formúl predikátová logika sekventový kalkulus Gentzen calculus First-order logic formulas automatical proofs sequent calculus
Acesso em linha:	https://opac.crzp.sk/?fn=detailBiblioFormChildIB0FQ&sid=C0DEB8E07572332BA2250915805F&seo=CRZP-detail-kniha
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

View in STU Opac

MARC


LEADER	00000ntm a22000003a 4500
001	stuzp92948
003	SK-STU
005	20241126102415.2
007	ta
008	150427s2015----xo-----f-mn---000-0-slo-d
040			\|a STU \|b slo
041	0		\|a slo
044			\|a xo
100	1		\|a Vlčková, Jana \|u 035000 \|k Z4 \|4 aut \|U FEI Fakulta elektrotechniky a informatiky \|T FEI Ústav informatiky a matematiky \|X 92171 \|U E050 \|Y 816 \|7 92171
242	0	1	\|a Gentzen Calculus and Automatical Proofs of First-order Logic Formulas \|y eng
245	1	0	\|a Gentzenov kalkulus a automatické dokazovanie formúl predikátovej logiky
260			\|a Bratislava : \|b STU v Bratislave FEI, \|c 2023
300			\|a 85 s.
650		4	\|a Gentzenov kalkulus \|2 slo
650		4	\|a automatické dokazovanie formúl \|2 slo
650		4	\|a predikátová logika \|2 slo
650		4	\|a sekventový kalkulus \|2 slo
650		4	\|a Gentzen calculus \|2 eng
650		4	\|a First-order logic formulas \|2 eng
650		4	\|a automatical proofs \|2 eng
650		4	\|a sequent calculus \|2 eng
700	1		\|a Kollár, Jozef \|u 035000 \|k Z1 \|4 ths \|U FEI Fakulta elektrotechniky a informatiky \|T FEI Ústav informatiky a matematiky \|X 794 \|U E050 \|Y 816 \|7 A000000794
856	4		\|u https://opac.crzp.sk/?fn=detailBiblioFormChildIB0FQ&sid=C0DEB8E07572332BA2250915805F&seo=CRZP-detail-kniha