Mostrando
1 - 5
resultados de
5
para a busca '
Paulson, Lawrence C.
'
Pular para o conteúdo
VuFind
SISBI
Sistema de Bibliotecas
0
registros
(Cheio)
A sua conta
Sair
Entrar
Idioma
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Todos os campos
Título
Autor
Assunto
ISBN/ISSN
Tag
Buscar
Avançada
Autor
Paulson, Lawrence C.
Mostrando
1 - 5
resultados de
5
para a busca '
Paulson, Lawrence C.
'
, tempo de busca: 0.01s
Refinar Resultados
Resultados por página
10
20
40
60
80
100
Ordenar
Relevância
Data Descendente
Data Ascendente
Área
Autor
Título
1
Isabelle : a generic theorem prover /
por
Paulson
,
Lawrence
C
.
Mais informações
Livro
Adicionar à cesta
Retirar da cesta
Salvar na lista
Na minha lista:
2
ML for the working programmer /
por
Paulson
,
Lawrence
C
.
Mais informações
Livro
Adicionar à cesta
Retirar da cesta
Salvar na lista
Na minha lista:
3
Logic and computation : interactive proof. with Cambridge LCF /
por
Paulson
,
Lawrence
C
.
Mais informações
Livro
Adicionar à cesta
Retirar da cesta
Salvar na lista
Na minha lista:
4
Isabelle/HOL : a proof assistant for higher-order logic /
por
Nipkow, Tobias
,
Paulson
,
Lawrence
C
.
,
Wenzel, Markus.
Mais informações
Livro
Adicionar à cesta
Retirar da cesta
Salvar na lista
Na minha lista:
5
Verification of security protocols based on multicast communication/
por
Martina, Jean Everson.
,
Paulson
,
Lawrence
C
.
,
University of Cambridge.
Mais informações
Tese
Adicionar à cesta
Retirar da cesta
Salvar na lista
Na minha lista:
Ferramentas de busca:
Obter Feed RSS
—
Enviar busca por e-mail
Carregando...