Simple search
|
Advanced search
|
Archives
See original record
Data source
Bibliotecas | Instituto Politécnico de Castelo Branco
My List
Teatro
Sanches, Vicente
1984
Roteiros
Silva, Benedicto
1980-
Os conflitos na equipa multiprofissional
Rodrigues, Jorge Manuel Gonçalves
Feeds and feeding
Cullison, Arthur E.
,
1982
IT 342
Manso, Armando Costa
,
1988
Acessórios para a prática pedagógica do violoncelo
Bento, António Jorge Ferreira Ramos Farrajota
,
2018
Plan science
,
1990-1991
Relatório final da prática de ensino supervisionada
Pinto, Gonçalo Filipe dos Santos
,
2011
Www.infocontab.com.pt
Guimarães, Joaquim Fernando da Cunha
,
2005
Direito constitucional
Canotilho, José Joaquim Gomes
,
2002
See more
Add to my list
Search title on
Share this record
Language, proof and logic
Type
MON
Creator
Barker-Plummer, Dave
Publisher
CSLI Publications
Identifier
URN:ISBN:9781575866321
Title
Language, proof and logic
Contributor
Barwise, Jon
Etchemendy, John
Liu, Albert, colaborador
Murray, Michael, colaborador
Pease, Emma, colaborador
Date
cop. 2011
Description
Contém: Language, proof and logic:software manual / Dave Barker... [et al.]. 2nd ed. Standford; CSLI, cop. 2015. VIII, 61 p.
Language
eng
Comments
×
My list
My List
Teatro
Sanches, Vicente
1984
Roteiros
Silva, Benedicto
1980-
Os conflitos na equipa multiprofissional
Rodrigues, Jorge Manuel Gonçalves
Feeds and feeding
Cullison, Arthur E.
,
1982
IT 342
Manso, Armando Costa
,
1988
Acessórios para a prática pedagógica do violoncelo
Bento, António Jorge Ferreira Ramos Farrajota
,
2018
Plan science
,
1990-1991
Relatório final da prática de ensino supervisionada
Pinto, Gonçalo Filipe dos Santos
,
2011
Www.infocontab.com.pt
Guimarães, Joaquim Fernando da Cunha
,
2005
Direito constitucional
Canotilho, José Joaquim Gomes
,
2002
See more
Add to my list
×
Warning!
It's not possible to add more records to your personal list
Javascript do bootstrap
