Doações 15 de Setembro 2024 – 1º de Outubro 2024
Sobre a angariação de fundos
pesquisa de livros
livros
Doações:
57.9% atingido
Entrar
Entrar
para acessar mais recursos:
Recomendações pessoais
Telegram bot
Baixar histórico
Enviar para o E-mail ou Kindle
gerenciar as listas de livros
salvar para os favoritos
Pessoal
Pedidos de livro
Explorar
Z-Recomendado
Coleções de livros
Mais populares
Categorias
Contribuição
Doar
Carregamentos
Litera Library
Doe livros de papel
Adicione livros de papel
Search paper books
Meu LITERA Point
Pesquisa de termos
Main
Pesquisa de termos
search
1
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Springer-Verlag Berlin Heidelberg
Tobias Nipkow
,
Markus Wenzel
,
Lawrence C. Paulson (eds.)
apply
induction
lemma
theorem
isabelle
function
simplification
simp
prove
assumption
suc
method
functions
subgoal
proved
variables
sect
dvd
recursion
command
inductive
blast
syntax
proofs
defined
recursive
datatype
gcd
introduction
sets
subgoals
theorems
definitions
consts
automatically
bool
xcoord
conclusion
step
record
split
argument
erule
goal
lists
recdef
assumptions
cases
simplifier
trivial
Ano:
2002
Idioma:
english
Arquivo:
PDF, 824 KB
As suas tags:
0
/
0
english, 2002
1
Siga a
este link
ou encontre o bot "@BotFather" no Telegram
2
Send /equipe newbot
3
Indique o nome para o seu chatbot
4
Escolha um nome de usuário para um bot
5
Copia a última mensagem de BotFather e insira-a aqui
×
×