Видеотека: L. Kovacs, First-Order Theorem Proving and Vampire. Lecture 3

Видеотека

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	Видеотека
	Архив
	Популярное видео

	Поиск
	RSS
	Новые поступления

Logical Perspectives 2021: Summer School and Workshop
16 июня 2021 г. 13:00–14:30, Logical Perspectives 2021 Summer School, г. Москва, online

First-Order Theorem Proving and Vampire. Lecture 3

L. Kovács

*Видеозаписи:*
	MP4	566.8 Mb
*Дополнительные материалы:*
	Adobe PDF	107.8 Kb
	Adobe PDF	2.0 Mb

Количество просмотров:
Эта страница:	118
Видеофайлы:	19
Материалы:	24

Дополнительные материалы:

school_kovacs.pdf (107.8 Kb) ,

school_kovacs_slides_3.pdf (2.0 Mb)

Язык доклада: английский

Цикл лекций

First-Order Theorem Proving and Vampire. Lecture 1
L. Kovács, 14 июня 2021 г. 13:00
First-Order Theorem Proving and Vampire. Lecture 2
L. Kovács, 15 июня 2021 г. 13:00
First-Order Theorem Proving and Vampire. Lecture 3
L. Kovács, 16 июня 2021 г. 13:00

Обратная связь:

Пользовательское соглашение

Регистрация посетителей портала

Логотипы

© Математический институт им. В. А. Стеклова РАН, 2024