Hyppää sisältöön
    • Suomeksi
    • In English
Trepo
  • Suomeksi
  • In English
  • Kirjaudu
Näytä viite 
  •   Etusivu
  • Trepo
  • Artikkelit
  • Näytä viite
  •   Etusivu
  • Trepo
  • Artikkelit
  • Näytä viite
JavaScript is disabled for your browser. Some features of this site may not work without it.

Independence-friendly logic without Henkin quantification

Barbero, Fausto; Hella, Lauri; Rönnholm, Raine (2017)

 
Avaa tiedosto
independence-friendly_logic_2017.pdf (374.7Kt)
Lataukset: 



Barbero, Fausto
Hella, Lauri
Rönnholm, Raine
Teoksen toimittaja(t)
Kennedy J., de Queiroz R.
Springer, Berlin
2017

Logic, Language, Information, and Computation. WoLLIC 2017
14-30
Luonnontieteiden tiedekunta - Faculty of Natural Sciences
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.
doi:10.1007/978-3-662-55386-2_2
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:tuni-201909103226
Kokoelmat
  • Artikkelit [6095]
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[@]tuni.fi | Yhteydenotto | Tietosuoja | Saavutettavuusseloste
 

 

Selaa kokoelmaa

TekijätNimekkeetTiedekunta (2019 -)Tiedekunta (- 2018)Tutkinto-ohjelmat ja opintosuunnatAvainsanatJulkaisuajatKokoelmat

Omat tiedot

Kirjaudu sisäänRekisteröidy
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[@]tuni.fi | Yhteydenotto | Tietosuoja | Saavutettavuusseloste