QR kód

9TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION : PROCEEDINGS, ARGONNE, ILLINOIS, USA, MAY 23. - 26. 1988 /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Zhang, Hantao And Co
Korporativní autor:	PROCEEDINGS ILLINOIS, USA, ARGONNE
Médium:	Konferenční příspěvek Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Springer, 1988
Edice:	Lecture notes in computer science VOL. 310
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Automated deduction in equational logic and cubic curves /
Autor: Maccune, William
Vydáno: (1996)

Proceedings of the 4th international conference on Assembly automations /
Autor: Taniguchi, Norio
Vydáno: (1983)

PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON AUTOMATION IN WAREHOUSING /
Autor: Denell, A.
Vydáno: (1985)

PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON ASSEMBLY AUTOMATION : Paris, France, 22 - 24 May, 1984 /
Autor: Makino, H.
Vydáno: (1984)

Deductive databases and logic programming /
Autor: Das, Subrata Kumar
Vydáno: (1992)

Proceedings of the 7th international conference on automation in warehousing : San Francisco, Calif., Oct. 13 - 15., 1986 /
Autor: Baumgarten, H.
Vydáno: (1986)

9th proceedings of '85 international conference on advanced robotics /
Autor: Feldmann, Michel
Vydáno: (1985)

35th international conference on software engineering : ICSE 2013 ; proceedings, San Francisco, CA, USA, May 18-26, 2013 /
Vydáno: (2013)

Logic. Form and function. The mechanization of deductive reasoning /
Autor: Robinson, John Alan
Vydáno: (1979)

26th international conference on software engineering : ICSE 2004, ; proceedings, Edinburgh, Scotland, United Kingdom, May 23 - 28, 2004 /
Autor: Lieberherr, Karl J.
Vydáno: (2004)

Proceedings of the 17th international conference on System for automation of engineering and research : SAER-2003, Varna, Bulgaria, September 19 - 21, 2003 /
Autor: Deprettere, Ed F.
Vydáno: (2003)

PROCEEDINGS OF THE 9-TH AND 10-TH CONFERENCES OF THE INTERNATIONAL SOCIETY FOR HYBRID MICROELECTRONICS - POLAND CHAPTER /
Autor: Mikosz, Slawomir
Vydáno: (1987)

International conference on supercomputing : ICS'17 ; proceedings of the 2017 international conference ; Chicago, Illinois, USA, June 14 - 16, 2017 /
Vydáno: (2017)

39th international petroleum conference : proceedings, Bratislava, Slovakia, September 20 - 23, 1999.
Vydáno: (1999)

39th international petroleum conference : proceedings, Bratislava, Slovakia, September 20 - 23, 1999.
Vydáno: (1999)

Proceedings of the 9th conference on PROBLEMS AND METHODS IN MATHEMATICAL PHYSICS. 9. TMP : Karl-Marx-Stadt, 1988, June 27 - July 1 /
Autor: Klötzler, Rolf
Vydáno: (1989)

30th international conference of Slovak Society of Chemical Engineering : Proceedings, Tatranské Matliare, May 26 - 30, 2003 /
Autor: Markoš, Jozef 1957-
Vydáno: (2003)

Automated inspection and product control : Proceedings of the 8th international conference, Chicago, USA, 23 - 25 June 1987 /
Autor: Cardew, A. St. E.
Vydáno: (1987)

Joint 9th IFSA world congress and 20th NAFIPS international conference : Vancouver, Canada, July 25 - 28, 2001
Vydáno: (2001)

38th international conference of Slovak society of chemical engineering : proceedings, Tatranské Matliare, Slovakia, May 23 - 27, 2011
Vydáno: (2011)

Proceedings of the 14th international Carpathian control conference : ICCC'2013, hotel Perła Południa, Rytro, Poland, May 26-29, 2013 /
Vydáno: (2013)

27th International conference of Slovak Society of Chemical Engineering : proceedings, Tatranské Matliare, Slovakia, May 22 - 26, 2000 /
Vydáno: (2000)

4th IRI international educational conference : program, abstracts ; 4th international educational conference ; Bratislava, Slovakia, 29 - 30 May, 2016 /
Vydáno: (2016)

Limiting base erosion involving interest deductions and other financial payments.
Vydáno: (2015)

13th international Carpathian control conference : ICCC 2012 ; proceedings, High Tatras, Podbanské, Slovakia, May 28-31, 2012 /
Vydáno: (2012)

12th international Carpathian control conference : ICCC 2011 ; proceedings, Velké Karlovice, Czech Republic, 25 - 28 May 2011 /
Vydáno: (2011)

7th international conference on ferrites : Proceedings, Bordeaux, France, Sept. 3 - 6, 1996 /
Autor: Guyot, Marcel
Vydáno: (1997)

38th international petroleum conference : proceedings, Bratislava, Slovakia, September 22-25, 1997.
Vydáno: (1997)

38th international petroleum conference : proceedings, Bratislava, Slovakia, September 22-25, 1997.
Vydáno: (1997)

Proceedings of 2017 Chinese Intelligent Automation Conference
Vydáno: (2018)

48th International Conference of the Slovak Society of Chemical Engineering & Membrane Conference PERMEA 2022 : Hotel Hutník, Tatranské Matliare, Slovakia ; May 23-26, 2022 /
Vydáno: (2022)

40th International petroleum conference : abstracts to CD ROM proceedings ; Bratislava, Slovak Republic, September 17th - 19th, 2001 /
Vydáno: (2001)

40th International petroleum conference : abstracts to CD ROM proceedings ; Bratislava, Slovak Republic, September 17th - 19th, 2001 /
Vydáno: (2001)

9th scientific conference of young researchers of Faculty of Electrical Engineering and Informatics : proceedings from conference and competition, Košice, Slovakia, 13th May 2009 /
Vydáno: (2009)

Design automation : conference proceedings /
Autor: Ababei, Cristinel
Vydáno: (2010)

Proceedings of the 3rd international conference on automated materials handling : Birmingham, UK, 19 - 21 March 1986 /
Autor: Drury, J. V. P.
Vydáno: (1986)

9th international online information : meeting, London, 3 - 5 Dec. 1985 /
Autor: Anderla, G. J.
Vydáno: (1985)

Forage conservation - 13th international conference.
Vydáno: (2008)

4th international conference on gas disgharges .
Autor: Kito, Y.
Vydáno: (1976)

5th international conference on Mössbauer spectroscopy.
Autor: Barb, Dănila
Vydáno: (1973)