търсене на книга
книги
Направете дарение
Впиши се
Впиши се
оторизираните потребители имат достъп до:
лични препоръки
Телеграм бот
хронология на изтеглянията
изпрати до Email или Kindle
управление на колекцията
запазване в любими
Лично
Заявки за книги
Изучаване
Z-Recommend
Списъци с книги
Най-популярни
Категории
Участие
Направете дарение
Качвания
Litera Library
Дарете хартиени книги
Добавяне на хартиени книги
Search paper books
Моят LITERA Point
Търсене на термини
Main
Търсене на термини
search
1
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
Springer-Verlag Berlin Heidelberg
Jean-Raymond Abrial
,
Dominique Cansell (auth.)
,
David Basin
,
Burkhart Wolff (eds.)
theorem
function
coq
definition
first
prove
defined
proving
ϕ
functions
inductive
proofs
algorithm
method
module
approach
verification
recursive
goal
variables
formal
bytecode
definitions
execution
induction
instruction
logical
java
context
springer
programming
programs
card
implementation
coverage
systems
specification
checking
prover
metaprl
predicate
termination
theorems
dependent
recursion
equations
conjecture
isabelle
proved
step
Година:
2003
Език:
english
Файл:
PDF, 2.93 MB
Вашите тагове:
0
/
0
english, 2003
2
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings
Springer-Verlag Berlin Heidelberg
Jean-Raymond Abrial
,
Dominique Cansell (auth.)
,
David Basin
,
Burkhart Wolff (eds.)
theorem
function
coq
definition
prove
proving
ϕ
functions
inductive
defined
proofs
algorithm
first
method
module
approach
recursive
verification
goal
variables
formal
bytecode
definitions
execution
induction
instruction
logical
java
context
springer
programming
programs
card
implementation
coverage
systems
checking
prover
metaprl
specification
predicate
termination
theorems
dependent
recursion
equations
conjecture
isabelle
proved
step
Година:
2003
Език:
english
Файл:
PDF, 1.79 MB
Вашите тагове:
0
/
0
english, 2003
1
Следвайте
тази връзка
или потърсете бот „@BotFather“ в Telegram
2
Изпратете команда /newbot
3
Въведете име за вашия бот
4
Въведете потребителско име за бота
5
Копирайте последното съобщение от BotFather и го поставете тук
×
×