Your search returned 8 results.

Results
	1.	All about Maude-- a high-performance logical framework [electronic resource] : how to specify, program and verify systems in rewriting logic / Manuel Clavel ... [et al.]. by Clavel, Manuel, 1969- SpringerLink (Online service) Series: Lecture notes in computer science ; 4350 \| LNCS sublibrary. SL 2, Programming and software engineering. Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	2.	Application of graph rewriting to natural language processing / Guillaume Bonfante, Bruno Guillaume, Guy Perrier. by Bonfante, Guillaume [author.] Guillaume, Bruno [author.] Perrier, Guy, 1950- [author.] Series: Cognitive science and knowledge management series \| Logic, linguistics and computer science set ; v. 1.Publisher: London : ISTE Ltd. ; Hoboken, NJ : John Wiley & Sons, Inc., 2018 In: Wiley e-books Online resources: Wiley Online Library Availability: No items available.
	3.	Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / edited by Pierpaolo Degano, Rocco Nicola, Jose Meseguer. by Degano, Pierpaolo Meseguer, Jose Nicola, Rocco SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5065 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	4.	No cover image available LOG(F) : an optimal combination of logic programming, rewriting, and lazy evaluation / Sanjai Narain by Narain, Sanjai, 1957 [author.] Research and Development Corporation [issuing body.] Series: The Rand paper series ; P-7437Publisher: Santa Monica, California : Rand Corporation, .1988 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: RAND 7 P-7437 1988. Place hold
	5.	Rewriting, Computation and Proof [electronic resource] : Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday / edited by Hubert Comon-Lundh, Claude Kirchner, Helene Kirchner. by Comon-Lundh, Hubert Kirchner, Claude Kirchner, Helene SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4600 Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	6.	Rewriting techniques and applications [electronic resource] : 20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings / edited by Ralf Treinen. by International Conference on Rewriting Techniques and Applications (20th : 2009 : Brasilia, Brazil) Treinen, Ralf [editor.] SpringerLink (Online service) Series: Lecture notes in computer science ; 5595 Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 Other title: RTA 2009 In: Springer eBooks Online resources: Click here to access online Availability: No items available.
	7.	String-rewriting systems / Ronald V. Book. by Book, Ronald V [author] Series: Texts and monographs in computer science Publication details: New York: Springer-Verlag, 1993 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA267.B66. Place hold
	8.	Term Rewriting and Applications (vol. # 4098) [electronic resource] : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings / edited by Frank Pfenning. by International Conference on Rewriting Techniques and Applications (17th : 2006 : Seattle, Wash.) Pfenning, Frank SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 4098 Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006 In: Springer e-books Online resources: Click here to access online Availability: No items available.

Contact Us

Perpustakaan Tun Seri Lanang, Universiti Kebangsaan Malaysia
43600 Bangi, Selangor Darul Ehsan,Malaysia
+603-89213446 – Consultation Services
019-2045652 – Telegram/Whatsapp
Email: helpdeskptsl@ukm.edu.my

Copyright ©The National University of Malaysia Library