mtmtMagyar Tudományos Művek Tára

XML JSON Átlépés a keresőbe In English

6th Conference on Artificial Intelligence and Theorem Proving

Többnyelvű nyelvű Tudományos

Megjelent: s.n., [s.l.], Nemzetközi 2021

Konferencia: 6th Conference on Artificial Intelligence and Theorem Proving 2021-09-05 [Online konferencia, Aussois, Franciaország]

Azonosítók

MTMT: 35555889
Egyéb URL: https://aitp-conference.org/2021/

Fejezetek

Szegedy Christian et al. Retrieval-augmented proof step synthesis. (2021) Megjelent: 6th Conference on Artificial Intelligence and Theorem Proving pp. 1-3

Hivatkozás stílusok: IEEE ACM APA Chicago Harvard CSLMásolásNyomtatás

2026-01-18 05:30

×

Lista exportálása irodalomjegyzékként

Hivatkozás stílusok: IEEE ACM APA Chicago HarvardNyomtatásMásolás