NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1
  • Tagged with
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 1 of 1 (0.061 seconds)

Spelling suggestions: "subject:"calculo dde dedicados"" "subject:"calculo dee dedicados""

1

Valorações para alguns sistemas de logica do tempo

Mortari, Cezar Augusto January 1982 (has links)
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2013-12-05T19:29:55Z (GMT). No. of bitstreams: 0 Previous issue date: 1982Bitstream added on 2016-01-08T14:22:50Z : No. of bitstreams: 1 108685.pdf: 26771678 bytes, checksum: c67e040d5ec4b9b4d53ddf1616794881 (MD5)
Calculo de predicados
Lógica simbólica e matemática

Page generated in 0.0634 seconds