SAT-SOLVER J. Lakshmi Kumari; Supervised by Arun K. Pujari.

Lakshmi Kumari, J.
Call Number
PR001.535 L14S
Author
Lakshmi Kumari, J.
Title
SAT-SOLVER J. Lakshmi Kumari; Supervised by Arun K. Pujari.
Publication
Hyderabad: University of Hyderabad, 2007
Physical Description
51p.
Notes
Project Report (M.Tech) - Artificial Intelligence - Department of Computers and Information Sciences, University of Hyderabad.
Added Author
Pujari, Arun K. - Supervisor.
Subject
ARTIFICIAL INTELLIGENCE - PROJECT REPORT.
Total Ratings: 0
Location Call Number Barcode Item Class Units Copy Number Status  
IGM Library PR001.535 L14S PR4743 Project Reports 1 Available
 
 
 
00838nam a2200205 a 4500
001
 
 
vtls001493926
003
 
 
VRT
005
 
 
20130710123500.0
008
 
 
120904s                 m    00| | eng
039
9
$a 201307101235 $b prasanna $c 201209041832 $d VLOAD $c 200907241215 $d pjr $c 200907210954 $d pjr $y 200907171040 $z 696yak
082
4
$a PR001.535 $b L14S
100
1
$a Lakshmi Kumari, J.
245
1
0
$a SAT-SOLVER $c J. Lakshmi Kumari; Supervised by Arun K. Pujari.
260
$a Hyderabad: $b University of Hyderabad, $c 2007
300
$a 51p.
500
$a Project Report (M.Tech) - Artificial Intelligence - Department of Computers and Information Sciences, University of Hyderabad.
650
0
$a ARTIFICIAL INTELLIGENCE - PROJECT REPORT.
700
1
$a Pujari, Arun K. - Supervisor.
999
$a VIRTUA40
999
$a VTLSSORT0080*0820*1000*2450*2600*3000*5000*6500*7000*9992
No Reviews to Display
Notes
Project Report (M.Tech) - Artificial Intelligence - Department of Computers and Information Sciences, University of Hyderabad.
Subject
ARTIFICIAL INTELLIGENCE - PROJECT REPORT.