Unification for effective and finite semantic tableaux in first-order logic the SOFIA prover : [abstract] /

Unification for effective and finite semantic tableaux in first-order logic the SOFIA prover : [abstract] /

Elmentve itt :
Bibliográfiai részletek
Szerző: Kovásznai Gergely
Testületi szerző: Conference of PhD students in computer science (4.)
Dokumentumtípus: Könyv része
Megjelent: University of Szeged Szeged 2004
Sorozat:Conference of PhD Students in Computer Science 4
Kulcsszavak:Számítástechnika - előadáskivonat
Tárgyszavak:
Természettudományok
Számítás- és információtudomány
Online Access:http://acta.bibl.u-szeged.hu/59776
LEADER 00895naa a2200205 i 4500
001 acta59776
005 20230628112750.0
008 191014s2004 hu o 1|| eng d
040 |a SZTE Egyetemi Kiadványok Repozitórium  |b hun 
041 |a eng 
100 1 |a Kovásznai Gergely 
245 1 0 |a Unification for effective and finite semantic tableaux in first-order logic   |h [elektronikus dokumentum] :  |b the SOFIA prover : [abstract] /  |c  Kovásznai Gergely 
260 |a University of Szeged  |b Szeged  |c 2004 
300 |a 75 
490 0 |a Conference of PhD Students in Computer Science  |v 4 
650 4 |a Természettudományok 
650 4 |a Számítás- és információtudomány 
695 |a Számítástechnika - előadáskivonat 
711 |a Conference of PhD students in computer science (4.)  |c Szeged  |d 2004. július 1-4. 
856 4 0 |u http://acta.bibl.u-szeged.hu/59776/1/cscs_2004_075.pdf  |z Dokumentum-elérés  

Hasonló tételek