We will show them! essays in honour of Dov Gabbay on his 60th birthday /
Na minha lista:
Autor principal: | Artemov, Sergei. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/125590 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Universal logic : an anthology : from Paul Hertz to Dov Gabbay /
por: Béziau, Jean-Yves.
Publicado em: (2022) -
Origin and Early Evolution of Comet Nuclei Workshop honouring Johannes Geiss on the occasion of his 80th birthday /
por: Balsiger, H., et al.
Publicado em: (2022) -
Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday /
por: Siekmann, Jörg H., et al.
Publicado em: (2022) -
Logic without frontiers : festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday /
por: Béziau, Jean-Yves,, et al.
Publicado em: (2022) -
A Modal Reduction Scheme for the Free Vibration of Strings with Inertially Loaded Boundary
por: Jales, Pedro Menescal
Publicado em: (2023)